Puzzles solved by MUS