162AC - ABC053C: X: Yet Another Die Game

競プロ
ABC053-C (300 points)
問題

サイコロの好きな面が上になるように置き, 以下の操作を必要な回数行うとき, x 点以上得るために必要な最小の操作回数を求める.

  • 操作：サイコロを手前、奥、左、右のどれかの方向に90°だけ回転させる。その後、上を向いている面に書かれた数を y として y 点得る.
  • 1 \leq x \leq 10^{15}
  • 入力は全て整数.
方針

明らかに 6 → 5 → 6 → 5 → \cdots とするのがベスト. 

# input
x = int(input())

q, r = divmod(x, 11)

if r > 6:
    ans = 2 * q + 2
elif r > 0:
    ans = 2 * q + 1
else:
    ans = 2 * q

print(ans)