Девять рабочих могут выполнить работу за 20 дней. За сколько дней будет выполнена работа если число рабочи увеличелось на три?