题目描述

La Confiserie d'ABC 每个蛋糕售价 $4$ 美元，每个甜甜圈售价 $7$ 美元。判断是否有办法用正好 $N$ 美元购买其中一些商品。您可以购买两个或更多的甜甜圈和两个或更多的蛋糕，还可以选择购买零个甜甜圈或零个蛋糕。

约束条件

• $N$ 是一个介于 $1$ 到 $100$ 之间的整数。

输入

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

$N$

输出

如果有办法用正好 $N$ 美元购买一些蛋糕和一些甜甜圈，则打印 Yes；否则，打印 No。

示例输入 1

11

示例输出 1

Yes

如果购买一个蛋糕和一个甜甜圈，总计将为 $4 + 7 = 11$ 美元。

示例输入 2

40

示例输出 2

Yes

如果购买十个蛋糕，总计将为 $4 \times 10 = 40$ 美元。

示例输入 3

3

示例输出 3

No

蛋糕（$4$ 美元）和甜甜圈（$7$ 美元）的价格都高于 $3$ 美元，因此没有这样的办法购买。