Frania

Limit pamięci: 128 MB

Kilkoro przyjaciół postanowiło zrobić pranie. Wszyscy oni są zupełnie porządni, wobec czego każdego dnia zużywają dokładnie jedną parę skarpetek i jedną koszulkę. Wrzucili więc wszystkie zużyte skarpetki i koszulki do swojej wysłużonej pralki i zaczęli zastanawiać się nad strategią ich wysuszenia. Żeby wyeliminować zamieszanie, postanowili, że:

• każda skarpetka będzie przypięta do sznurka jedną klamerką,
• każda koszulka będzie przypięta trzema klamerkami,
• wszystkie skarpetki jednej osoby będą przypięte klamerkami tego samego koloru,
• wszystkie koszulki jednej osoby będą przypięte klamerkami tego samego koloru,
• rzeczy należące do dwóch różnych osób nie mogą być przypięte klamerkami tego samego koloru,
• poza tym użyją najmniejszej możliwej liczby kolorów klamerek.

Wejście

W pierwszym wierszu wejścia znajdują się dwie liczby całkowite oraz () oznaczające liczbę przyjaciół oraz liczbę dostępnych kolorów klamerek. W drugim wierszu znajduje się liczb oznaczających, przez ile dni poszczególni przyjaciele gromadzili pranie (). W trzecim wierszu znajduje się liczb oznaczających, ile jest klamerek poszczególnych kolorów ().

Wyjście

Twój program powinien wypisać minimalną liczbę kolorów klamerek potrzebnych do rozwieszenia prania. Jeśli rozwieszenie prania w opisany sposób nie jest możliwe, Twój program powinien wypisać jedno słowo NIE.

Przykład

Dla danych wejściowych:

2 4
3 4
20 10 8 10

poprawną odpowiedzią jest:

3

natomiast dla danych:

3 8
5 4 3
14 14 14 14 14 14 14 14

poprawnym wynikiem jest:

NIE

Wyjaśnienie do pierwszego przykładu: Pierwsza osoba potrzebuje 6 klamerek na skarpetki i 9 na koszulki. Druga osoba potrzebuje 8 klamerek na skarpetki i 12 na koszulki. Druga osoba powinna użyć klamerek pierwszego koloru zarówno do powieszenia skarpetek, jak i koszulek. Pierwsza osoba może wówczas użyć na przykład klamerek drugiego i czwartego koloru.

Autor zadania: Szymon Acedański.