Puzzles solved by xccc