pub const SCIP_EXPRPRINT_ACTIVITY: u32 = 32;