2-SAT

첫째 줄에 변수의 개수 $N$과 절의 개수 $M$이 공백으로 구분되어 주어진다.
둘째 줄부터 $M$개의 줄에 걸쳐 각 절의 정보가 주어진다. 각 줄에는 두 개의 정수가 공백으로 구분되어 주어지며, $1$ 이상 $N$ 이하의 양의 정수 $i$는 $x_i$를, $-N$ 이상 $-1$ 이하의 음의 정수 $-i$는 $\neg x_i$(NOT $x_i$)를 나타낸다.

모든 절을 만족하는 변수 할당이 존재하면 첫째 줄에 YES를, 존재하지 않으면 NO를 출력하라.