(n,m),(S,T,k),*e=[[*map(int,s.split())]for s in open(0)]
S-=1;T-=1
g=[[]for _ in range(n)]
for a,b in e:
  a-=1;b-=1
  g[a]+=b,
  g[b]+=a,
s=[-1]*n
s[S]=0
t=[-1]*n
t[S]=0
q=[S]
while q:
  p=q.pop()
  for v in g[p]:
    if s[v]<0:
      s[v]=s[p]^1
      t[v]=t[p]+1
      q+=v,
if s[T]==-1:
  exit(print('Unknown'))
if s[S]==s[T]:
  if k%2==0:
    if t[T]<=k:
      print('Yes')
    else:
      print('Unknown')
  else:
    print('No')
else:
  if k%2:
    if t[T]<=k:
      print('Yes')
    else:
      print('Unknown')
  else:
    print('No')