>=x2 <x3 y2