Produção de petróleo da Petrobras no Brasil aumentou 5,3% em outubro