$PUMP ha superado 0.0045.
Veamos dentro de unas horas si logra mantenerse.
Basta con que todos lo tengan en cuenta.