x_2-x_1\geq 0