Puzzles solved by Cpro