Puzzles solved by ATS