题目描述

2025年的国补已经持续了大半年，根据国补政策买手机可以享受超值优惠。对6000元及以下的手机，可以享受手机售卖价的15%的补贴，例如一部1000元的手机，只需要850元就可以买到啊。而对于6000元以上的手机，可以享受手机售卖价的10%的补贴。同时规定，6000元及以下最高补贴500元，6000元以上最高补贴1000元。手机厂商通常还会给予一定金额的优惠券，可以在国补折扣完，叠加使用。小明看中了一款售卖价为x元的手机，优惠卷为y元，求其需要付款的金额（四舍五入到小数点后2位）

输入格式

两个正整数，空格间隔，分别代表手机的售卖价x元和优惠卷y元

输出格式

一个小数，表示付款金额，四舍五入到小数点后2位。

样例输入

2000 200

样例输出

1500.00

样例说明

2000x0.85-200=1500

数据范围

$200\leq x \leq 20000$ ，同时保障付款金额一定为正。