Migrated from Lutece 2721 又开会了

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

今天 div2 又开会了，但 F_know 又又睡过头了，于是问 neko 会上讲了啥。

neko 说今天总共讲了 $n$ 件事，每件事都有一个重要度，第 $i$ 件事的重要度为一个整数 $a_i$。与上次不同的是，$a_i$ 只有两个值 $0$ 或 $1$，分别代表这件事不重要或重要。

neko 记不清 $a_i$ 具体为多少了，他只记得 $m$ 个约束条件，第 $j$ 个约束条件有四个整数 $u,x,v,y$，表示 $a_u=x$ 与 $a_v=y$ 两者至少有一个成立。

请判断是否至少存在一组 $a$ 的值满足上述条件。

Input

第一行有两个整数 $n,m$（$1\le n,m \le 10^5$） 接下来 $m$ 行每行四个整数 $u,x,v,y$（$1\le u,v\le n$，$x,y\in \{0,1\}$）

Output

如果 $a$ 有解，输出 YES，否则输出 NO。

Samples

3 2
1 1 3 1
2 0 3 0

YES

Resources

2022 UESTC ICPC Training for Graph