`Solve' operation is relatively simple in Mines.

[originally from svn r5882]