pub const kHighsObjSenseMaximize: HighsInt = -1;