added presolve. commented out quad reg for now.