Puzzles solved by CHARLES