pub const kHighsCallbackMipImprovingSolution: HighsInt = 3;