pub const MODEL_STATUS_OPTIMAL: HighsInt = 7;