[ABC011C] 123引き算

有这样一个游戏： 给你一个数字$N$和三个特殊数字$NG_1,NG_2,NG_3$，进行以下步骤： - 在数字$1,2,3$中任选一个数字，使$N$减去它 - 但是必须满足$N$时刻不能等于$NG_1,NG_2,NG_3$中的任意一个数字 - 以此循环，以上步骤至多执行$100$次 你的目标是使$N$变为$0$ 如果能达到目标，请输出'`YES`'，如果不能，输出'`NO`'。

[problemUrl]: https://atcoder.jp/contests/abc011/tasks/abc011_3 あなたは、友人から、一人用のゲームを紹介されました。 最初に、数字 $ N $ が与えられます。 $ 1 $ , $ 2 $ , $ 3 $ の中から好きな数字を選び、 与えられた数字に対し、引き算を行う、という処理を行うことできます。 この処理は $ 100 $ 回まで行うことが可能であり、最終的に数字を $ 0 $ にすることが目標のゲームです。 しかし、計算途中でなってはいけないNG数字が $ 3 $ つ与えられており、 この数字に一時的にでもなってしまった瞬間、このゲームは失敗となります。 NG数字が $ N $ と同じ場合も失敗となります。 NG数字が $ N $ と同じ場合について、正しい判定が行われていませんでした。リジャッジを行いました。 あなたは、このゲームが、目標達成可能なゲームとなっているか調べたいです。 目標達成可能な場合は`YES`、そうでない場合は`NO`と出力してください。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ NG_1 $ $ NG_2 $ $ NG_3 $ - $ 1 $ 行目には、最初に与えられる数字 $ N\ (1\ ≦\ N\ ≦\ 300) $ が与えられる。 - $ 2 $ 行目には、 $ 1 $ 番目のNG数字 $ NG_1\ (1\ ≦\ NG_1\ ≦\ 300) $ が与えられる。 - $ 3 $ 行目には、 $ 2 $ 番目のNG数字 $ NG_2\ (1\ ≦\ NG_2\ ≦\ 300) $ が与えられる。 - $ 4 $ 行目には、 $ 3 $ 番目のNG数字 $ NG_3\ (1\ ≦\ NG_3\ ≦\ 300) $ が与えられる。

目標達成可能な場合は`YES`、そうでない場合は`NO`を $ 1 $ 行で出力せよ。出力の末尾にも改行をいれること。

2
1
7
15

YES

5
1
4
2

YES

300
57
121
244

NO

### Sample Explanation 1 $ 2 $ を $ 1 $ 回引くことにより、 $ 0 $ を作ることが出来ます。 ### Sample Explanation 2 最初に $ 2 $ を引き、次に $ 3 $ を引くことで、$ 5 $ → $ 3 $ → $ 0 $ と変化し、目標を達成することが出来ます。 ### Sample Explanation 3 $ 100 $ 回連続で $ 3 $ を引かなければ、目標を達成することはできません。 しかし、 $ 3 $ だけを引き続けていると、途中でNG数字である $ 57 $ になってしまいます。