1 y1 1 y2 2 y3 2 y4 3 y5 <= 6 ; 1 y1 1 y2 2 y3 2 y4 3 y5 >= 4 ;