pub const kHighsObjSenseMinimize: HighsInt = 1;