x >= y / 2 + 7 and y >= x/2 +7