Um grupo de quatro operários gasta 20 dias para asfaltar uma rua. Se a empresa dobrasse o número de operários, em quanto tempo essa mesma rua seria asfaltada?