pub const kHighsSolutionStatusNone: HighsInt = 0;