min = 800*x1+800*x2+900*x3+900*x4;
x1+x2>=25;
x2+x3+x4>=10;
x1+x3+x4>=10;
x1+x2+x3+x4>=30;
x1+x2+x4>=20;
x3>=20;
x3+x4>=10;
@gin(x1);
@gin(x2);
@gin(x3);
@gin(x4);