题目描述

何老板有一个骰子。骰子是一个正方体，六个面上的点数分别为 $1$ 到 $6$，其中相对两个面的点数之和总是 $7$。

何老板可以任选骰子的一个面朝上作为初始状态。之后，他每次将骰子翻动 $90$ 度，使一个相邻的面朝上。每次翻动后，新朝上面的点数就是这一次获得的分数。

给定目标分数 $X$，请计算何老板最少需要翻动多少次，才能使累计得分不小于 $X$。

输入格式

输入一个整数 $X$，表示目标分数。

输出格式

输出一个整数，表示最少需要翻动的次数。

数据范围

原截图未显示 $X$ 的上界。随附测试数据覆盖 $1\le X\le 10^{18}$，建议使用 64 位整数处理。

样例

输入：

7

输出：

2

样例说明

可以选择合适的初始朝向，使前两次翻动依次得到 $6$ 分和 $5$ 分，累计得到 $11$ 分，达到目标分数 $7$。

题面备注

“可以任选一面朝上”按初始朝向可以自由选择理解；如果原题实际规定初始时必须由 $1$ 点朝上，需要相应调整测试数据和题意。