O. 2-SAT

Есть $n$ булевых переменных $x_0, \dots, x_{n-1}$ и $m$ утверждений вида $(x_{i_1} = e_1) \lor (x_{i_2} = e_2)$. Определите, можно ли выбрать значения переменных так, чтобы все утверждения стали истинными.

Первая строка содержит числа $n$ ($1 \le n \le 10^5$) и $m$ ($0 \le m \le 3 \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 иначе.