Puzzles solved by MIP