Ao utilizar pela primeira vez determinado aplicativo para solicitar um lanche, o usuário ganha 25% de desconto. Se o valor total da primeira compra foi de R$87,80, qual o valor (em R$) pago pelo lanche?