题目描述

暑假来了，天气特别热，小晨到便利店买饮料；已知雪碧 3.5 元 / 瓶，冰红茶 1.5 元 / 瓶，小晨买了 x 瓶雪碧和 y 瓶冰红茶，老板说今天有优惠，可以有 1瓶雪碧免费，请问小晨应该付给老板多少钱？

注意：小晨至少会买一瓶雪碧

输入

两个整数 x 和 y，分别代表了雪碧和冰红茶的购买数量。

输出格式

一个小数，代表了雪碧应付给老板的金额（结果保留 1 位小数）。

3 5

14.5

数据规模

$1 \le x \le 10^9$
$0 \le y \le 10^9$