Файл размером 1,5 Гбайта скачался за 12 минут (скорость загрузки считайте постоянной). За сколько минут скачается файл размером 2,5 Гбайта, если скорость загрузки останется прежней?