Puzzles solved by CATA84