题目描述

现在开始，翁老师决定存钱！

翁老师从第一天开始存 $1$ 块钱，之后每天都会多存 $1$ 块，即第 $i$ 天翁老师会存 $i$ 块钱。

而翁老师的幸运数字是 $7$，所以每个星期日翁老师不会存钱，不过其他日期存钱数不受影响。

假设第一天是星期一，翁老师需要多少天才能存够 $n$ 块钱？

输入格式

一个正整数 $n$。

输出格式

一个整数代表答案。

5

3

21

6

22

8

提示

样例解释

• 样例 $1$：$3$ 天一共存到 $6$ 块，存够了 $5$ 块。
• 样例 $2$：$6$ 天一共存到 $21$ 块，存够了 $21$ 块。
• 样例 $3$：$8$ 天一共存到 $29$ 块（第 $7$ 天不存钱），存够了 $22$ 块。

数据范围

对于 $100\%$ 的数据，$1 \le n \le 10^9$。

• 子任务 1（30 分）：保证 $n\leq 21$。
• 子任务 2（70 分）：无特殊限制。