某城市的出租车收费标准如下：

假设打车路程为x 公里：

（1）起步价9.0元（不超过 3 公里，即：0<x<=3;）；

（2）3公里后：白 1.5 元/公里；夜间 1.75元/公里；

（3）6公里后：白天2.25 元/公里；夜间 2.5元/公里。

如：白天打车路程x=10公里,费用计算方法如下：

前 3 公里起步价9.0元；3公里到6公里费用3×1.5；6公里后的费用4×2.25，共计22.5元。

给出路程x，请计算所需的车费。

输入共一行，两个数，中间用空格隔开；

第一个数是整数，表示路程；

第二个数是整数，1表示白天，0表示夜间。

【数据范围】

对于 50%的数据: x<=10000；

对于 100%的数据： x<=1000000000。