Constant CPX_MAX_SCALED_SLACK 

pub const CPX_MAX_SCALED_SLACK: u32 = 28;