pub const MODEL_STATUS_UNBOUNDED_OR_INFEASIBLE: HighsInt = 9;