C - 123引き算 Editorial /

Time Limit: 2 sec / Memory Limit: 256 MB

問題文

あなたは、友人から、一人用のゲームを紹介されました。

最初に、数字 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、そうでない場合はNO1 行で出力せよ。出力の末尾にも改行をいれること。


入力例1

2
1
7
15

出力例1

YES

21 回引くことにより、 0 を作ることが出来ます。


入力例2

5
1
4
2

出力例2

YES

最初に 2 を引き、次に 3 を引くことで、530 と変化し、目標を達成することが出来ます。


入力例3

300
57
121
244

出力例3

NO

100 回連続で 3 を引かなければ、目標を達成することはできません。 しかし、 3 だけを引き続けていると、途中でNG数字である 57 になってしまいます。