配点: $200$ 点

問題文

ABC 洋菓子店では, $1$ 個 $4$ ドルのケーキと $1$ 個 $7$ ドルのドーナツが売られている.
このとき, 合計金額が $N$ ドルとなる買い方はあるか, 判定せよ. ただし, 同じ商品を二個以上買っても良く, 買わない商品があっても良いものとする.

制約

• $N$ は $1$ 以上 $100$ 以下の整数

入力

入力は以下の形式で標準入力から与えられる.

$N$

出力

合計が $N$ ドルとなる買い方がある場合 Yes, そうでない場合 No と出力せよ.

入力例 1

11

出力例 1

Yes

ケーキを $1$ 個, ドーナツを $1$ 個買えば合計 $4 + 7 = 11$ ドルとなる.

入力例 2

40

出力例 2

Yes

ケーキを $10$ 個買えば $4 \\times 10 = 40$ ドルとなる.

入力例 3

3

出力例 3

No

ケーキの値段は $4$ ドル, ドーナツの値段は $7$ ドルと, どちらも $3$ ドルより高いためそのような買い方は存在しない.