pub const kHighsPresolveStatusReduced: HighsInt = 3;