solver_inputs.zip