Se 10 operários constroem um trecho de 6 km de uma rodovia em 30 dias. Quantos operários são necessários para construir um trecho de 12 km em 20 dias?