pub const kHighsVarTypeSemiContinuous: HighsInt = 2;