Puzzles solved by CARMEN