该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

小明正在qq群发无意义信息刷屏，他发现除了逐个输入字符外，还可以利用复制粘贴来提高效率。已知：

• 输入单个字符：需要 $1$ 秒（比如手动输入一个字）。
• 复制当前内容：需要 $5$ 秒（将当前输入的所有内容存入剪贴板，例如长按选择后复制）。
• 粘贴剪贴板内容：需要 $2$ 秒（将剪贴板中的内容粘贴到当前输入末尾，可多次粘贴）。

小明需要输入一段长度至少为 $n$ 的文字，求所需的最短时间，小明不关心文字的内容，只需要长度不少于$n$即可。

输入格式

一个正整数 $n$，表示需要输入的文字最小长度。

输出格式

一个正整数 $t$，表示输入至少 $n$ 长度文字的最短时间。

输入输出样例

样例输入 1

20  

样例输出 1

16  

样例解释

小明的操作步骤如下：

1. 手动输入 $7$ 个字符，耗时 $7$ 秒（长度为 $7$）。
2. 复制当前内容（耗时 $5$ 秒，剪贴板存储 $7$ 个字符）。
3. 粘贴两次剪贴板内容（每次 $2$ 秒，共 $4$ 秒，长度增加 $7 \times 2 = 14$，总长度 $7 + 14 = 21 \geq 20$）。
   总耗时 $7 + 5 + 4 = 16$ 秒。

说明/提示

• 数据范围：
  • 对于 $20\%$ 的数据，$n \leq 10$；
  • 对于 $60\%$ 的数据，$n \leq 10^4$；
  • 对于 $100\%$ 的数据，$n \leq 4 \times 10^4$。
• 操作规则：
  • 复制操作只能针对当前已输入的全部内容，剪贴板每次复制会覆盖之前的内容。
  • 粘贴操作可以多次执行，每次粘贴的内容长度等于最后一次复制的内容长度。
  • 初始时剪贴板为空，不能直接粘贴，必须先有至少一次复制操作（复制的内容长度至少为 $1$）。