Puzzles solved by JAT