pub const kHighsBasisValidityInvalid: HighsInt = 0;