x0 >=  0 
x0 <  1 
x1 >=  1 
x1 <  1 
x2 >=  0 
x2 <  0.01 
y0 >=  0