Puzzles solved by CAD