AT_abc456_a.Dice

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$?

有三枚骰子，每枚骰子有六个面。
每枚骰子的六个面上分别标有数字 $1,2,3,4,5,6$。

当这三枚骰子同时掷出时，掷出的点数之和是否可能为 $X$？

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

$X$

输入从标准输入中按以下格式给出：

$X$

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

如果掷出的数值之和可能为 $X$，则输出 Yes；否则输出 No。

Sample 1 Explanation:
For example, if the rolled values are $4,5,6$, the sum is $15$.

Constraints

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

样例 1 解释：
例如，若掷出的点数为 $4,5,6$，则其和为 $15$。

约束条件

• $X$ 是一个介于 $1$ 到 $20$（含）之间的整数。