pub const kHighsPresolveStatusReducedToEmpty: HighsInt = 4;