Description

今有面值为 1、5、11 元的硬币各无限枚。

想要凑出 $n$ 元，问需要的最少硬币数量。

Input Format

仅一行，一个正整数 $n$。

Output Format

仅一行，一个正整数，表示需要的硬币个数。

15

3

12

2

Hint

样例解释

对于样例数据 1，最佳方案是 $15=5+5+5$，使用到 3 枚硬币。

对于样例数据 2，最佳方案是 $12=11 + 1$，使用到 2 枚硬币。

数据规模与约定

对于 $100\%$ 的数据，保证 $n\leq 10^6$。