De un pendrive de 16 Gb se utilizan 2,5 Gb en musica, el 1 1/4 Gb en documentos y el 10% del pendrive en fotos. ¿Cuánta memoria queda disponible?