Update the solver to flag obvious mines