MINE SOLVER