题目描述

La Confiserie d'ABC sells cakes at $4$ dollars each and doughnuts at $7$ dollars each. Determine if there is a way to buy some of them for exactly $N$ dollars. You can buy two or more doughnuts and two or more cakes, and you can also choose to buy zero doughnuts or zero cakes.

_La Confiserie d'ABC_出售的蛋糕每个 $4$ 美元，甜甜圈每个 $7$ 美元。确定是否有办法以恰好 $N$ 美元的价格购买其中一些。你可以买两个或更多的甜甜圈和两个或更多的蛋糕，也可以选择买零个甜甜圈或零个蛋糕。

输入格式

输入内容按以下格式标准输入：

$N$

输出格式

如果有办法用 $N$ 美元买到一些蛋糕和一些甜甜圈，打印 是 ；否则打印 否 。

样例 #1

样例输入 #1

11

样例输出 #1

Yes

样例 #2

样例输入 #2

40

样例输出 #2

Yes

样例 #3

样例输入 #3

3

样例输出 #3

No

说明

数据规模与约定

• $N$ 是介于 $1$ 和 $100$ （含）之间的整数。

样例 $1$ 解释

如果您买了一个蛋糕和一个甜甜圈，总金额为 $4 + 7 = 11$ 美元。

样例 $2$ 解释

如果您买了 10 个蛋糕，总金额为 $4 \times 10 = 40$ 美元。

样例 $3$ 解释

蛋糕的价格（ $4$ 美元）和甜甜圈的价格（ $7$ 美元）都高于 $3$ 美元，所以不存在这种情况。