Решение:
Эта задача на обратную пропорциональность: чем больше кранов, тем меньше времени требуется для разгрузки.
- Находим, сколько времени потребовался бы 1 кран:
- \[ 30 \text{ часов} \times 6 \text{ кранов} = 180 \text{ человеко-часов} \]
- Находим, сколько времени потребуется 9 кранам:
- \[ 180 \text{ человеко-часов} \div 9 \text{ кранов} = 20 \text{ часов} \]
Ответ: 20 часов