AT_abc456_a [ABC456A] Dice

$ 6 $ つの面を持つサイコロが $ 3 $ 個あります。 どのサイコロも、面には $ 1,2,3,4,5,6 $ が書かれています。 これらのサイコロを同時に振ったとき、出た目の合計が $ X $ になることはありますか？

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

出た目の合計が $ X $ になることがあれば `Yes` 、なければ `No` を出力せよ。

### Sample Explanation 1 例えば、出目が $ 4,5,6 $ のとき、合計は $ 15 $ となります。 ### Constraints - $ X $ は $ 1 $ 以上 $ 20 $ 以下の整数