thermometers_mip_solver
