Puzzles solved by smt