pub const kHighsBasisValidityValid: HighsInt = 1;