pub const kHighsBasisStatusUpper: HighsInt = 2;