int (1-a-b-c) dc db da, c=0 to min((1-a-b)/2,1-2a-b,1-a-2b), b=0 to min((1-a)/2,1-2a), a=0 to 1/2