be able to run ZMERT with our solver