random divisor
BB constraints