Puzzles solved by PATI