Para pagar os R$ 16,50 que foi gasto em uma pizzaria, Paulo usou moedas de 25 centavos, 50 centavos e 1 real. Sabendo que ele usou 6 moedas de 1 real e 12 moedas de 50 centavos, a quantidade de moedas de 25 centavos que ele usou foi de: