Migrated from Lutece 1711 两眼一闭大力搜（Legendary Version. Vol 1）

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

给一个无向图$G$，有$N$个点，$M$条边

现给出起点$S$和终点$T$，问是否存在一条从起点到终点的合法路径.

一条合法路径必须满足下列条件:

• 所经过的边不能重复
• 路径长度必须为$L$

Input

输入第一行有三个数$N$，$M$，$L$.

接下来$M$行，每行两个整数$u,v$，表示$u$和$v$之间有一条无向边连接

接下来一行两个整数$S,T$，表示起点和终点

数据保证：

• $1 \leq N \leq 500$
• $1 \leq M \leq 505$
• $0 \leq L \leq 10$
• $1 \leq S,T,u,v \leq N$

Output

输出一行表示答案，如果存在则输出$YES$，否则输出$NO$

Samples

11 10 10
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 9
9 10
10 11
1 11

YES

6 5 4
1 2
2 3
3 4
4 5
5 6
1 6

NO

Note

大力搜索一发吗少年

第4组Case为特殊构造，如若TLE，请优化你的玄学算法

Resources

xiper