#codefestival2015qualBc. [codefestival_2015_qualB_c]Hotel

[codefestival_2015_qualB_c]Hotel

問題文

高橋君は部屋が NN 室ある旅館を経営しています。今日は MM 組の予約が入っていますが、全ての予約を適切に部屋に割り振ることができるかを確認していませんでした。各予約について、その組の人数以上の定員の部屋を割り振る必要があります。各予約について必ず 11 つの部屋が割り当てられる必要があり、11 つの予約について複数の部屋を割り当てたり、複数の予約を 11 つの部屋に割り当てたりすることはできません。全ての予約に部屋を割り振ることができるならば YES を、割り振ることができないならば NO を出力してください。


入力

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

NN MM A1A_1 A2A_2 ... ANA_N B1B_1 B2B_2 ... BMB_M

  • 11 行目には、22 つの整数 N(1N105)N (1 ≦ N ≦ 10^5), M(1M105)M (1 ≦ M ≦ 10^5) が空白区切りで与えられる。
  • 22 行目には、NN 個の整数が空白区切りで与えられる。このうち i(1iN)i (1 ≦ i ≦ N) 番目には、ii 番目の部屋の定員を表す整数 Ai(1Ai105)A_i (1 ≦ A_i ≦ 10^5) が与えられる。
  • 33 行目には、MM 個の整数が空白区切りで与えられる。このうち i(1iM)i (1 ≦ i ≦ M) 番目には、ii 番目の予約の人数を表す整数 Bi(1Bi105)B_i (1 ≦ B_i ≦ 10^5) が与えられる。

出力

全ての予約に部屋を割り振ることができるならば YES を、割り振ることができないならば NO11 行に出力せよ。出力の末尾に改行を入れること。

部分点

この問題には部分点が設定されている。

  • N100N ≦ 100, M100M ≦ 100 を満たすデータセットに正解した場合は、6060 点が与えられる。
  • 追加の制約のないデータセットに正解した場合は、上記とは別に 4040 点が与えられる。

入力例1


3 2
2 2 3
3 1

出力例1


YES

入力例2


3 2
2 2 3
3 3

出力例2


NO

入力例3


3 4
10 10 10
1 1 1 1

出力例3


NO

入力例4


10 10
10 9 8 7 6 5 4 3 2 1
10 9 8 7 6 5 4 3 2 1

出力例4


YES