solver_format