Puzzles solved by Sat