5 рабочих выполняют некоторое задание за 20 часов. За какое время выполнять это же задание 12 рабочих?