navigate_inequality_mip