Из 15 кг томатов получается 8 кг кетчупа. Сколько килограммов томатов потребуется для получения 12 кг кетчупа?