Problem10487--ABC105 —— B - Cakes and Donuts

10487: ABC105 —— B - Cakes and Donuts

[Creator : ]
Time Limit : 1.000 sec  Memory Limit : 512 MiB

Description

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.

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`.

Constraints

-   $N$ is an integer between $1$ and $100$, inclusive.

Sample 1 Input

11

Sample 1 Output

Yes
If you buy one cake and one doughnut, the total will be 4+7=11 dollars.

Sample 2 Input

40

Sample 2 Output

Yes
If you buy ten cakes, the total will be 4×10=40 dollars.

Sample 3 Input

3

Sample 3 Output

No
The prices of cakes (4 dollars) and doughnuts (7 dollars) are both higher than 3 dollars, so there is no such way.

Source/Category