A - Dice Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MiB

配点 : 100 点

問題文

6 つの面を持つサイコロが 3 個あります。
どのサイコロも、面には 1,2,3,4,5,6 が書かれています。

これらのサイコロを同時に振ったとき、出た目の合計が X になることはありますか？

制約

  • X は 1 以上 20 以下の整数

入力

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

X

出力

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

入力例 1

15

出力例 1

Yes

例えば、出目が 4,5,6 のとき、合計は 15 となります。

入力例 2

2

出力例 2

No

Score : 100 points

Problem Statement

There are three dice, each with six faces.
Each die has 1,2,3,4,5,6 written on its faces.

When these dice are rolled simultaneously, is it possible for the sum of the rolled values to be X?

Constraints

  • X is an integer between 1 and 20, inclusive.

Input

The input is given from Standard Input in the following format:

X

Output

If it is possible for the sum of the rolled values to be X, output Yes; otherwise, output No.

Sample Input 1

15

Sample Output 1

Yes

For example, if the rolled values are 4,5,6, the sum is 15.

Sample Input 2

2

Sample Output 2

No