K. 十分，甚至九分

星期四又到了，7 老师又点了 KFC 来吃。

7 老师注意到，KFC 东南大学店来了 $n$ 位顾客，每位顾客都点了一份薯条。对于其中的任意一名顾客，如果服务员没有给他番茄酱，他将只有 $0$ 分的满意；如果服务员只给了他一包番茄酱，他将有 $6$ 分的满意；如果服务员给了他两包甚至更多的番茄酱，那么他将会有 $10$ 分甚至 $9$ 分的满意！具体来说，如果服务员给了他两包番茄酱，他将有 $10$ 分的满意；如果服务员给了他三包或者更多的番茄酱，他将只有 $9$ 分的满意。

KFC 东南大学店一共有 $m$ 包番茄酱，服务员必须将所有番茄酱分配给 $n$ 位顾客；即所有顾客得到的番茄酱总数必须恰好为 $m$。

7 老师想考考你，如何分配番茄酱才能使所有顾客的满意度之和最大？请输出这个最大值。

第一行两个正整数 $n,m(1\le n,m\le 10^9)$，表示顾客数量和番茄酱数量。

输出一个非负整数，表示所有顾客满意度之和的最大值。

输入样例 1：

3 6

输出样例 1：

30