Y ≤ 23 X 3