Puzzles solved by JAC