1755：蒜头君的索道乐园

蒜头君非常喜欢城郊的索道乐园。

索道乐园的索道计价规则如下：前 5 公里索道的价格为 15 元，即使你坐的索道里程没有超过 5 公里。超过 5 公里至 10 公里（包含 6 公里和 10 公里）的里程，收费为每公里 2 元，超过 10 公里开始，收费为每公里 2.6 元。

蒜头君希望花费最少的钱来坐索道，请你帮他算一算最小的花费吧。

例如：整个行程为 20 公里，蒜头君应该将行程分成长度相同的两部分，每部分花费 25 元，总共花费 50 元。如果坐索道一次走完全程要花费 51 元。

请你帮他算一算吧，最后的价格四舍五入保留整数。

输入一个正整数 n，代表蒜头君乘坐的里程。

1<=n<=10000

10

25