pub const kHighsPresolveStatusNotPresolved: HighsInt = -1;