t;0.0 l0 + 0.3333333333333333 l1 + 0.6666666666666666 l2 + 1.0 l3 > t;1.0 l0 + 1.0 l1 + 0.6666666666666666 l2 + 0.0 l3 > t;l0 + l1 + l2 + l3 = 1;int l0, l1, l2, l3,int l0, l1, l2, l3;