ordering y_0 y_1 y_2 y_3 y_4 y_5 y_6 y_7 y_8 y_9 y_10
y_1 - y_2 >= 0.2
y_5 - y_6 >= 0
neg y_4 >= 0.6
y_7 >= 0.8
neg y_8 >= 0.3
y_10 >= 0.5
neg y_1 >= 0.3
y_3 >= 0.7
y_9 - y_4 >= 0
y_0 >= 0.5