n/6 + 4 ≤ 20