pub const kHighsVarTypeSemiInteger: HighsInt = 3;