from atcoder.dsu import DSU


N, M, K, S, T = map(int, input().split())
S, T = S - 1, T - 1
uf = DSU(N)
for _ in range(M):
    u, v = map(int, input().split())
    u, v = u - 1, v - 1
    uf.merge(u, v)
if uf.size(S) == uf.size(T) == 1:
    if K & 1:
        print('Yes')
    else:
        print('No')
else:
    print('Yes')