Puzzles solved by OPL