AT_abc105_b [ABC105B] Cakes and Donuts

在 ABC 洋菓子店，有售价为 $4$ 美元的蛋糕和售价为 $7$ 美元的甜甜圈。 请判断是否存在一种购买方式，使得总金额恰好为 $N$ 美元。你可以购买任意数量的同一种商品，也可以选择不购买某种商品。

输入从标准输入读取，格式如下： > $N$

如果存在总金额为 $N$ 美元的购买方式，输出 `Yes`；否则输出 `No`。

## 限制条件 - $N$ 是一个满足 $1 \leq N \leq 100$ 的整数。 ## 样例解释 1 购买 $1$ 个蛋糕和 $1$ 个甜甜圈，总金额为 $4 + 7 = 11$ 美元。 ## 样例解释 2 购买 $10$ 个蛋糕，总金额为 $4 \times 10 = 40$ 美元。 ## 样例解释 3 蛋糕售价为 $4$ 美元，甜甜圈售价为 $7$ 美元，两者都高于 $3$ 美元，因此不存在总金额为 $3$ 美元的购买方式。 由 ChatGPT 4.1 翻译