Pese a ventas de bancos oficiales, el dólar trepó 9 centavos a $25,25