min=z1+z2+z3+z4+z5+z6+z7+z8+z9+z10+z11+z12;
12*z1+z2+14*z3+2*z4+z5+6*z6+35*z7+13*z10+2*z11+16*z12>=774;
14*z1+13*z3+19*z4+6*z5+24*z6+18*z8+5*z9+11*z10+17*z11+15*z12>=2153;
12*z1+47*z2+13*z3+8*z4+33*z5+4*z6+19*z7+z8+21*z9+15*z10+3*z11>=1623;
18*z1+6*z3+14*z4+7*z5+6*z6+26*z8+16*z9+6*z10+22*z11+14*z12>=1614;