Количество томатов и кетчупа прямо пропорционально: \(17:8=x:12\). Тогда \(x=\frac{17\cdot12}{8}=25.5\) кг.
Ответ: 4) другой ответ — 25,5 кг.