[SCOI2004] 文本的输入

人们在输入文本时，除了逐个输入这种方式外，还可以利用剪贴板进行复制，如果打入一个字母需要 $1$ 的时间，将已输入的部分复制进剪贴板需要 $5$ 的时间（`Ctrl`+`A`，`Ctrl`+`C`，再取消全选状态），将剪贴板的内容粘贴出来需要 $2$ 的时间（`Ctrl`+`V`）。 如果我们不关心输入文本的内容，而只关心输入文本的长度，要输入一个长度**不低于** $n$ 的文本最少需要多少时间？ **请注意，数据范围与原题略有不同。** 　　

一个正整数 $n$，表示文本的长度。

一个正整数 $t$，表示需要的最短的时间。

20

16

样例解释：先用 $7$ 时间打出 $7$ 个字符，再复制（用去 $5$ 时间），粘贴两次（用去 $4$ 时间），即可用 $16$ 时间打出 $21$ 个字符。 对于 $20\%$ 的数据，$n\le 10$； 对于 $60\%$ 的数据，$n\le 10^4$； 对于 $100\%$ 的数据，$n\le 4\times 10^4$。