题目描述

某市出租车计价规则如下：起步 $4$ 公里收费 $10$ 元（即使行程没超过 $4$ 公里）；接下来的 $4$ 公里，每公里收费 $2$ 元；之后每公里收费 $2.4$ 元。行程的最后一段即使不到 $1$ 公里，也当作 $1$ 公里计费。

一个乘客可以根据行程公里数合理安排坐车方式来使自己的打车费最小。例如，整个行程为 $16$ 公里时，乘客将行程分成长度相同的两部分（每部分 $8$ 公里），每部分花费 $18$ 元，总共花费 $36$ 元；若一次走完全程则花费 $37.2$ 元。

现在给定整个行程的公里数，请计算坐出租车的最小花费。

输入格式

输入包含多组测试数据。每组输入一个正整数 $n$，表示整个行程的公里数。
当 $n = 0$ 时，输入结束。

输出格式

对于每组输入，输出一行最小花费。若需要，结果保留一位小数。

样例

3
9
16
0

10
20.4
36

样例解释

• 第一个测试用例：行程 $3$ 公里，未超过起步的 $4$ 公里，收取起步费 $10$ 元，最小花费为 $10$ 元。
• 第二个测试用例：行程 $9$ 公里，选择一次乘坐：
  • 前 $4$ 公里：$10$ 元；
  • 第 $5\sim 8$ 公里（共 $4$ 公里）：$4\times 2=8$ 元；
  • 第 $9$ 公里：$1\times 2.4=2.4$ 元； 总费用 $10+8+2.4=20.4$ 元，为最小花费。
• 第三个测试用例：行程 $16$ 公里，拆分为两段各 $8$ 公里： 每段 $8$ 公里费用为 $10+4\times 2=18$ 元，两段共 $36$ 元，低于一次走完的 $37.2$ 元，故最小花费为 $36$ 元。

数据范围

• $1 \le n < 10^7$
• 输入以 $n=0$ 结束