pub const kHighsModelStatusUnboundedOrInfeasible: HighsInt = 9;