Puzzles solved by PIRA