Puzzles solved by sat