>>157
B≡max{b | b = min{a | a = b + c1 + c2 + 〜, c1 = c2}}