Migrated from Lutece 1828 马里奥饼店

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

你需要到马里奥饼店购买$N$个价值为$K$元的面包。

你有一张$9$折卡，只需要支付面包价钱的$90$%即可得到该面包。

但是，马里奥的$9$折算法只精确到元，如果出现了小数，则采取四舍五入的方式进行收费。

比如说你买$3$个$5$元的面包，共计$15$元，打$9$折后应收费$13.5$元，四舍五入收取$14$元。

如果你买$2$个$3$元的面包，共计$6$元，打$9$折后应收费$5.4$元，四舍五入收取$5$元。

你可以分多次去购买你所需要的$N$个面包，使你的总花费最小。

请问这个最小花费是多少？

Input

一行两个整数$N,K(1<=N,K<=10)$.

Output

一行，代表使用$9$折卡购买$N$个价值为$K$元的面包的最小花费。

Samples

1 1

1

2 6

10

Note

样例$1$，你只有$1$种购买方式，买下这个面包，$1$元打$9$折后应收费$0.9$元，四舍五入收取$1$元。

样例$2$，你有$2$种购买方式：’第一种是一次性买两个面包，共计$12$元，打$9$折后应收费$10.8$元，四舍五入收取$11$元。第二种是分两次购买，每一次买$1$个面包，一次$6$元打$9$折后应收费$5.4$元，四舍五入收取$5$元。两次共花费$5*2=10$元。所以最小花费为$10$元。

Resources

第九届ACM趣味程序设计竞赛（热身赛）