Explore Mines

Explore mines, returning all treasures to the entrance while visiting all rooms in a reasonable number of moves. Specifying a different mine number at the beginning of a games gives a different mine to explore.