Puzzles solved by AMO