Is it possible to emit SCIP pre-solved output to a .lp or .mps file? I am interested in using the presolver to generate a simplified MIP problem instance. This would allow me to test an alternate solver against some of the ones in SCIP such that I get an 'apples-to-apples' comparison.