Puzzles solved by cas