pub const kHighsBasisStatusLower: HighsInt = 0;