pub const kHighsPresolveStatusNotReduced: HighsInt = 0;