Cakes and Donuts

题目描述

La Confiserie d'ABC 以每个 $4$ 美元的价格出售蛋糕，以每个 $7$ 美元的价格出售甜甜圈。 判断是否存在一种方法用恰好 $N$ 美元购买它们中的若干件。你可以购买两个或更多甜甜圈和两个或更多蛋糕，也可以选择购买零个甜甜圈或零个蛋糕。

输入格式

输入按下述格式由标准输入提供： $N$

输出格式

如果存在一种方法用恰好 $N$ 美元购买若干蛋糕和若干甜甜圈，打印 $Yes$；否则，打印 $No$。

11

Yes

40

Yes

3

No

提示

$N$ 是一个介于 $1$ 到 $100$（含）之间的整数。如果你买一个蛋糕和一个甜甜圈，总价将是 $4 + 7 = 11$ 美元。
如果你买十个蛋糕，总价将是 $4 \times 10 = 40$ 美元。
蛋糕（$4$ 美元）和甜甜圈（$7$ 美元）的价格都高于 $3$ 美元，所以不存在这样的方式。

标签: AtCoder|abc105B

来源

AtCoder|abc105B