min z
q=@if(q4#ge#q3,q3,q4);
q4=@if(z1#ge#z2,z2,z1);
q1=@if(x1#ge#100, 50+1/2*(x1+y1-1), 100+1/2*(y1-1));
q2=@if(x2#ge#100, 50+1/2*(x2+y2-1), 84+1/2*(y2-1));
q3=@if(x3#ge#100, 50+1/2*(x3+y3-1), 83+1/2*(y1-1));
x1+x2+x3=400;
y1+y2+y3=110;
x1>=0&&x1<=300;
y1>=0&&y1<=100;
x2>=0&&x2<=200;
y2>=0&&y2<=300;
x3>=0&&x3<=100;
y3>=0&&y3<=100;
q=@if(q4#ge#q3,q3,q4);
q4=@if(z1#ge#z2,z2,z1);
q1=@if(x1#ge#100, 50+1/2*(x1+y1-1), 100+1/2*(y1-1));
q2=@if(x2#ge#100, 50+1/2*(x2+y2-1), 84+1/2*(y2-1));
q3=@if(x3#ge#100, 50+1/2*(x3+y3-1), 83+1/2*(y1-1));
x1+x2+x3=400;
y1+y2+y3=110;
x1>=0&&x1<=300;
y1>=0&&y1<=100;
x2>=0&&x2<=200;
y2>=0&&y2<=300;
x3>=0&&x3<=100;
y3>=0&&y3<=100;