Puzzles solved by ANSA