pub const kHighsModelStatusInfeasible: HighsInt = 8;