Ömür boyu gözlədiyiniz gün gəlib çatdı: Siz maksimal dəst məsələsini həll etmək üçün üsul kəşf etdiniz: istiqamətlənməmiş qraf verilir, dəst formalaşdıran qrafın təpə nöqtələrinin maksimal altçoxluğunu tapmaq lazımdır (bütün təpə nöqtələri cüt-cüt birləşdirilmişdir. Bu məsələ \textbf{NP}-çətinliklidir, lakin sizin əlinizdə isbat vardır ki, \textbf{P = NP!} Təəssüf ki, elmi cəmiyyət Sizi heç eşitmək də istəmir. Sizin bu məsələ ilə bağlı sənədləriniz hazırki vaxtda qəbul edilməmişdir, ona görə ki, “həlli olmayan məsələnin həlli yoxdur”. Sizin telefon nömrəniz artıq tanıdığınız bütün kompüter elmləri professorlаrının ləğv etmə siyahsındadır. Dünya, belə çıxır ki, sizi görmək istəmir. Onda siz maksimal dəstin tapılması məsələsinin həlli alqoritmini tərtib etmək və onu İnternetdə yerləşdirmək qərarına gəldiniz ki, hər bir kəs Sizin doğru olduğunuzu sərbəst yoxlaya bilsin. Siz artıq testləşdirici sistemi reallaşdırmısınız və bunun üçün demək olar ki, veb-saytı yükləmişiniz, lakin sonra Siz başa düşdünüz ki, bu elə də yaxşı ideya deyil. Əgər Siz həlledicinin əlyetərli olmasını təmin edərsinizsə, onda hər kəs \textbf{NP}-məsələlərini maksimal dəstin tapılmasına gətirərək həll edə bilər. Əgər insanlar Sizə məşhurluq və hörmət gətirilməsi üçün sadəcə Sizin kəşfinizi sakitcə istifadə edərlərsə, nə etməli? Xoşbəxtlikdən Sizin bildiyiniz maksimal dəst haqqında məsələnin \textbf{NP}-mürəkkəbliyinin yeganə isbatı onun kifayət qədər spesifik üsulla \textbf{3-SAT} məsələsinə çevirməkdən ibarətdir. Buna görə Siz yoxlamaq qərarına gəldiniz ki, o çevirmə nəticəsində Sizin həlləedici üçün giriş qrafı alındımı və əgər alındısa, onda Siz məsələnin həllindən imtina edəcəksiniz. Bu şəkildə heç kəs \textbf{NP} sinifli məsələlər üçün cəld həll tapa bilməyəcək, lakin hər bir kəs Sizin həlledicinizin girişinə başqa formada qraf verərək onun işini yoxlaya bilər. \includegraphics{https://static.e-olymp.com/content/a7/a704f051bbdb76797e5fb636ba0279c540d02f0c.jpg} \textbf{3-SAT} məsələsi növbəti şəkildə ifadə olunur: , şəklində düstur verilir, burada hər bir \textbf{t^i_j} terimi bul dəyişkəni və ya unun inkarıdır (daha formal olaraq ya \textbf{x_k}, ya da ¬\textbf{x_k}). Düsturun doğru olması üçün dəyişkənlərə qiymət verilməsinin mümkünlüyünü təyin etmək lazımdır. Mötərizədəki hər üç term müxtəlif dəyişkənləri təmsil etməlidir. Cevirmə növbəti şəkildə işləyir. Cari düstura görə hər biri bir mötərizə dəyişkəninə uyğun gələn \textbf{3n} təpə nöqtəli qraf quraq. \textbf{t^i_j} və \textbf{t^r_s} termlərinə uyğun gələn iki təpə nöqtəsi \textbf{i }≠ \textbf{r} (termlər müxtəlif mötərizə ifadələrinə məxsusdur) olarsa, tillərlə birləşdirilir və termlər ziddiyətli deyildirlər (onlar ya eynidirlər, ya da müxtəlif dəyişkənləri təmsil edirlər). Növbəti şəkildə \textbf{(x_1∨x_2∨¬x_3)∧(¬x_1∨¬x_2∨x_4)∧(¬x_1∨¬x_2∨¬x_4)} düsturu ilə alınan qraf təsvir olunmuşdur: \includegraphics{https://static.e-olymp.com/content/5f/5f0a92c8da51979e69d19e98274f395b71cac8b5.jpg} \textbf{n}-ölçülü dəst dəyişkən qiymətə doğru/yanlış qiymətinin elə mənimsədilməsinə uyğundur ki, hər bir mötərizə ifadəsində heç olmazsa bir dəyişkən doğru qiymətini alır. Şəkildə 3 ölçüsündə dəst təşkil edən tillər seçilmişdir. \textbf{x_1}--in yanlış və \textbf{x_2}--nin doğru qurulması \textbf{x_3} və \textbf{x_4} dəyişkənlərinin qiymətlərindən asılı olmayaraq bütün mötərizə ifadələrinin yerinə yetirilməsini təmin edir. Verilmiş qrafa görə onun yuxarıda şərh edilən çevirməyə görə alınmasını mümkünlüyünü təyin etmək lazımdır. Təpə nöqtələri ixtiyari ardıcıllıqda verilə bilər. \InputFile Giriş faylının birinci sətrində qrafın təpə nöqtələrinin və tillərinin sayını ifadə edən iki \textbf{v} (\textbf{1} ≤ \textbf{v} ≤ \textbf{100}) və \textbf{e} tam ədədləri verilir. Hər bir növbəti \textbf{e} sətrdə tillə birləşdirilmiş təpə nöqtələrinin sayını ifadə edən iki tam ədəd verilir. Hər bir təpə nöqtəsi cütlüyü birdən çox olmayaraq birləşdirilib, heç bir til təpə nöqtəsini özü ilə birləşdirmir. \OutputFile Göstərilən çevirmə nəticəsində verilmiş qrafı əldə etmək mümükün olarsa, "\textbf{YES}" və əks halda "\textbf{NO}" verməli.