题目描述

ABC糖果店以每个蛋糕 4 美元和每个甜甜圈 7 美元的价格销售蛋糕和甜甜圈。 确定是否有一种方法可以用正好 $N$ 美元购买其中一些。您可以购买一个或多个甜甜圈和一个或多个蛋糕，也可以选择购买零个甜甜圈或零个蛋糕。

输入

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

$N$

输入

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

11

Yes

【样例1解释】 如果你购买一个蛋糕和一个甜甜圈，总共就是 4 + 7 = 11 美元。

40

Yes

【样例2解释】

如果你购买十个蛋糕，总共就是 4 * 10 = 40 美元。

3

No

【样例3解释】

蛋糕（4美元）和甜甜圈（7美元）的价格都高于3美元，所以没有这样的方法。

提示

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