x - y > 3, y + x ≤ 2