Puzzles solved by pda