• در سطر اول ورودی ابتدا $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 یعنی نمی‌توان.

• محدودیت زمان: ۱ ثانیه
• محدودیت حافظه: ۲۵۶ مگابایت