Constant CPX_PARAM_DISJCUTS 

pub const CPX_PARAM_DISJCUTS: u32 = 2053;