pub const SCIP_PRESOLTIMING_FAST: u32 = 4;