x0 >=  0.7 
x0 <=  0.3 
x1 >=  0.4 
x1 <=  1 
x2 <=  0.25 
x2 >=  0