pub const kHighsPresolveStatusInfeasible: HighsInt = 1;