Puzzles solved by ats