pub const kHighsBasisStatusZero: HighsInt = 3;