Puzzles solved by MARVIN