test

test to sort constraints by satisfaction and alphabetical