Presolve works OK, can't actually solve presolved problems though