pub const OBJECTIVE_SENSE_MAXIMIZE: HighsInt = -1;