presolve is back