Đồ Thị Gần Không Chu Trình

Cho một đồ thị có hướng gồm $n$ đỉnh và $m$ cạnh (mỗi cạnh chỉ đi được theo một chiều). Bạn được phép xoá nhiều nhất một cạnh khỏi đồ thị.

Hỏi sau thao tác đó, đồ thị có thể trở thành đồ thị có hướng không chu trình (DAG) hay không? Một đồ thị có hướng được gọi là không chu trình nếu nó không chứa bất kỳ chu trình nào (một đường đi khác rỗng bắt đầu và kết thúc tại cùng một đỉnh).

Dữ liệu vào

• Dòng đầu chứa hai số nguyên $n$ và $m$ — số đỉnh và số cạnh.
• $m$ dòng tiếp theo, mỗi dòng chứa hai số nguyên $u$ và $v$ ($u\ne v$), mô tả một cạnh có hướng từ $u$ tới $v$.

Mỗi cặp có thứ tự $(u,v)$ xuất hiện nhiều nhất một lần (tức là có nhiều nhất một cạnh có hướng từ $u$ tới $v$).

Dữ liệu ra

In ra YES nếu có thể biến đồ thị thành DAG bằng cách xoá nhiều nhất một cạnh, ngược lại in ra NO.

Ràng buộc

• $2\le n\le 500$
• $1\le m\le min(n(n-1),{10}^5)$
• $1\le u,v\le n$, $u\ne v$

Ví dụ