pub const HIGHS_VERSION_PATCH: u32 = 1;