问题描述

光头强决定玩一个六面骰子。它的六个边中的每一个都显示一个整数 $1$ 到 $6$，相对边的两个数字加起来总是 $7$。

光头强会先将骰子放在桌子上，任意一面朝上，然后重复执行以下操作：

操作：将骰子向以下方向之一旋转 90°：左、右、前（骰子会靠近）和后（骰子会远离）。然后，获得 $y$ 点，其中 $y$ 是写在朝上一侧的数字。

例如，让我们考虑其中示出 1 的侧朝上，近侧示出 5 并且右侧示出 4 的情况，如图中所示。 如果骰子如图所示向右旋转，则示出 3 的侧面将面向上（即 4 的对面）。 此外，如果骰子朝左旋转，所示的侧面 4 将面向上，如果骰子朝前旋转，所示的侧面 2 将面向上，并且如果骰子朝后旋转，所示的侧面 5 将面向上。

找出光头强需要执行的最小操作次数，以便总共至少获得 $x$ 分。

数据规模

$1≤x≤10^{15}$

$x$ 是整数。

输入

输入来自标准输入，格式如下：

$x$

输出

打印答案。

7

2

149696127901

27217477801