N,M,K,X,Y=map(int,input().split())
G=[[] for i in range(N)]
for i in range(M):
  a,b=map(int,input().split())
  G[a-1].append(b-1)
  G[b-1].append(a)
if len(G[X-1])+len(G[Y-1])>0:
  p=[1]
  print(p[1])
  print('Yes')
else:
  if K%2==0:
    print('Yes')
  else:
    print('No')