A90278.小明的动物园门票

小明在本周和爸爸妈妈一共三个人去动物园秋游，因此需要先定三张门票。

动物园的成人票一张 $a$元，学生票一张 $b$ 元。（显然小明是学生， 爸爸妈妈是成人）。

动物园为了庆祝第 $60$ 场的欢乐赛, 决定给买票的总价格打六折， 并且向下取整。

请你帮助小明计算这次买票需要花多少钱。

输入一行包括两个整数 $a, b (10 \le b \le a \le 2\times 10^{9})$。

输出一个整数， 代表小明这次买票需要花的钱数。

样例中成人票 $25$ 元， 儿童票 $13$元， 原先的总价为 $63$ 元。打六折之后价格为$37.8$元， 向下取整之后得到结果为需要花 $37$ 元。