AT_abc105_b [ABC105B] Cakes and Donuts

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

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

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

### 制約 - $ N $ は $ 1 $ 以上 $ 100 $ 以下の整数 ### Sample Explanation 1 ケーキを $ 1 $ 個, ドーナツを $ 1 $ 個買えば合計 $ 4\ +\ 7\ =\ 11 $ ドルとなる. ### Sample Explanation 2 ケーキを $ 10 $ 個買えば $ 4\ \times\ 10\ =\ 40 $ ドルとなる. ### Sample Explanation 3 ケーキの値段は $ 4 $ ドル, ドーナツの値段は $ 7 $ ドルと, どちらも $ 3 $ ドルより高いためそのような買い方は存在しない.