두 선택 절의 만족 가능성

각 절이 두 리터럴의 OR로 주어질 때 모든 절을 만족할 수 있는지 판정하세요.

첫 줄 변수 수 N과 절 수 M, 다음 M줄에 부호 있는 두 리터럴이 주어집니다.

가능하면 YES, 아니면 NO를 출력합니다.