pub const HIGHS_VERSION_MINOR: u32 = 6;