Using Small MUSes to Explain How to Solve Pen and Paper Puzzles