Puzzles solved by CARLO