pub const kHighsBasisStatusBasic: HighsInt = 1;