min=x1+x2+x3;
x1+x2>1;
x2+x3>1;
@bin(x1);
@bin(x2);
@bin(x3);