Puzzles solved by KATIA