AT_abc202_a [ABC202A] Three Dice

[problemUrl]: https://atcoder.jp/contests/abc202/tasks/abc202_a 高橋君が $ 3 $ つのサイコロを振ったところ、出た目はそれぞれ $ a,\ b,\ c $ でした。 これらのサイコロについて、出た目とは反対の面が表す整数を足し合わせた値を求めてください。 ただし、高橋君が振るサイコロは全て一般的な立方体の $ 6 $ 面ダイスであり、ある面とその反対側の面が表す整数を足すと $ 7 $ になります。

入力は以下の形式で標準入力から与えられる。 > $ a $ $ b $ $ c $

$ 3 $ つのサイコロについて、出た目とは反対の面が表す整数を足し合わせた値を出力せよ。

### 制約 - $ 1\ \leq\ a,\ b,\ c\ \leq\ 6 $ - 入力は全て整数である。 ### Sample Explanation 1 出た目とは反対の面に書かれた整数はそれぞれ $ 6,\ 3,\ 4 $ です。 $ 6\ +\ 3\ +\ 4\ =\ 13 $ であるので、これを出力します。