make_solver message