change the default of newSolver; no elimination will happen by default