Dichotomy method SUC