Em uma papelaria, o preço de um lápis preto é R$ 2,00 e o preço de um lápis de cor é R$ 3,00. Uma pessoa gastou exatamente R$ 13,00 comprando, nessa papelaria, lápis pretos e a maior quantidade possível de lápis de cor. O número de lápis de cor comprado foi