Разрешима ли 2-SAT

Даны утверждения вида «$x_{i_1} = e_1$ или $x_{i_2} = e_2$». Определите, существует ли набор значений переменных, при котором все утверждения истинны. Сам набор выводить не нужно.

В первой строке $n$ и $m$ ($1 \le n \le 10^5$, $0 \le m \le 2 \cdot 10^5$). В каждой из следующих $m$ строк — четыре числа $i_1$, $e_1$, $i_2$, $e_2$ ($0 \le i_j < n$, $0 \le e_j \le 1$).

Выведите YES, если решение существует, и NO иначе.