Description

星期天上午小明乘出租车去本市的外婆家。出租车计价方案为：2公里以内起步价是6元，超过2公里后，超出的部分按2元/公里计价，超过10公里之后超出的部分在2元/公里的基础上加价50%，另外，停车等候则按时间计费：1元/三分钟（注：不满三分钟不计费）。已知：小明到外婆家路程为N公里，中间停车等候的时间总共M分钟，请计算小明到外婆家的出租车费用是多少元？

Format

Input

一行，两个用空格隔开的整数N和M。

Output

一行，一个整数，小明到外婆家的出租车费。

Samples

8 7

20

Limitation

1s, 1024KiB for each test case.