Puzzles solved by PROS