Numa obra, 12 pedreiros levam 25 dias para realizar uma determinada construção. Se fossem contratados mais 8 pedreiros para essa obra, quanto tempo que eles levariam para terminar a construção?