pub const kHighsBasisStatusNonbasic: HighsInt = 4;