($1 = 4.9237 reais)

(Reporting by Marta Nogueira; writing by Andre Romani)