ReCheck solve.clp