João comprou cinco pen drives idênticos de 64 GB e
quatro pen drives idênticos de 32 GB, pagando, no total,
R$ 385,00. O pen drive de 32 GB é R$ 19,40 mais barato
que o de 64 GB. Se com o dinheiro gasto, João tivesse
comprado apenas pen drives de 32 GB, ele teria comprado, no máximo, uma quantidade de pen drives igual a