5t – 15 ≤ 20.