AtCoder Beginner Contest 105
B
Cakes and Donuts
AtCoder
未评级
原题
← AC →
翻译中…

Problem Statement

翻译中…

La Confiserie d'ABC sells cakes at $4$ dollars each and doughnuts at $7$ dollars each. Determine if there is a way to buy some of them for exactly $N$ dollars. You can buy two or more doughnuts and two or more cakes, and you can also choose to buy zero doughnuts or zero cakes.

翻译中…

Constraints

翻译中…
  • $N$ is an integer between $1$ and $100$, inclusive.
翻译中…

Input

翻译中…

Input is given from Standard Input in the following format:

翻译中…

N

翻译中…

Output

翻译中…

If there is a way to buy some cakes and some doughnuts for exactly $N$ dollars, print Yes; otherwise, print No.

翻译中…

样例

Input #1
11
Output #1
Yes
If you buy one cake and one doughnut, the total will be $4 + 7 = 11$ dollars.
Input #2
40
Output #2
Yes
If you buy ten cakes, the total will be $4 \times 10 = 40$ dollars.
Input #3
3
Output #3
No
The prices of cakes ($4$ dollars) and doughnuts ($7$ dollars) are both higher than $3$ dollars, so there is no such way.
题目信息
题号
abc105_b
时间限制
2 s
内存限制
1024 MB

题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。