ordering y_0 y_1 y_2 y_3 y_4 y_5 y_6 y_7 y_8 y_9 y_10 y_11 y_12 y_13 y_14 y_15 y_16 y_17 y_18 y_19 y_20 y_21 y_22
y_1 - y_2 >= 0.2
y_5 - y_6 >= 0
neg y_4 >= 0
y_7 >= 0
neg y_8 >= 0
y_10 >= 0
neg y_16 >= 0
y_15 >= 0
y_11 - y_4 >= 0
y_11 - y_12 >= 0
y_11 - y_19 >= 0
y_11 - y_20 >= 0
y_11 - y_21 >= 0
neg y_3 >= 0.3
y_5 >= 0
y_7 >= 0.5
neg y_11 >= 0.5
y_10 >= 0.6