added the s (logically implied constraints in a way similar to the one for the magic square problem)