x >=0, 5 <= y <= 10