配点: $200$ 点

問題文

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

制約

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

入力

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

$N$

出力

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

11

Yes

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

40

Yes

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

3

No

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