蛋糕与甜甜圈

题目描述

ABC 西点店中，正在出售 $1$ 个 $4$ 美元的蛋糕和 $1$ 个 $7$ 美元的甜甜圈。

请判断是否存在一种购买方式，使合计金额恰好为 $N$ 美元。其中，同一种商品可以购买两个及以上，也可以有商品不购买。

输入格式

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

$N$

输出格式

若存在合计金额为 $N$ 美元的购买方式，则输出 Yes，否则输出 No。

样例

11

Yes

买 $1$ 个蛋糕和 $1$ 个甜甜圈，合计 $4 + 7 = 11$ 美元。

40

Yes

买 $10$ 个蛋糕，合计 $4 \times 10 = 40$ 美元。

3

No

蛋糕的价格是 $4$ 美元、甜甜圈的价格是 $7$ 美元，两者都高于 $3$ 美元，因此不存在这样的购买方式。

数据范围

• $N$ 是不小于 $1$ 且不超过 $100$ 的整数