Puzzles solved by MINTY