Puzzles solved by CEC