Puzzles solved by PDR