pub const SCIP_INVALID: f64 = 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0;