X + ⅔ < 9,