در سطر اول ورودی ابتدا $n$، تعداد متغیرهای 2SAT و سپس $m$، تعداد عبارت‌های آن آمده‌است.
در $m$ خط بعد در هر خط دوعدد $x$ و $y$ آمده که مشخص می‌کند متغیر $x$ام و $y$ام با هم $or$ شده‌اند. $x$ و $y$ می‌توانند منفی هم باشند که به معنی نقیض $x$ و یا نقیض $y$ است.
$1 \leq n, m \leq 10^5$
خروجی
برنامه شما باید در خروجی YES و یا NO بنویسد که YES یعنی متغیرها را می‌توان طوری مقداردهی کرد که کل عبارت true شود و NO یعنی نمی‌توان.