AT_abc105_b [ABC105B] Cakes and Donuts

题目描述

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

输入格式

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

$N$

输出格式

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

样例 1

输入

11

输出

Yes

样例 2

输入

40

输出

Yes

样例 3

输入

3

输出

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 翻译