¿Cuánto tiempo necesita $PIPPIN para convertirse en $1?