/**
 * author:	t9unkubj
 * created:	2024-03-15 
 */

#include<bits/stdc++.h>

#ifdef t9unkubj
#define _GLIBCXX_DEBUG
#define dbg(x) cout<<__LINE__<<" "<<#x<<":="<<x<<endl;
#else 
#define dbg(x) 58
#endif

using namespace std;

//#include<atcoder/all>
//using namespace atcoder;
int main(){
	ios::sync_with_stdio(false);
	std::cin.tie(nullptr);
	int n,m;
	cin>>n>>m;
	int s,t,k;
	cin>>s>>t>>k;
	s--,t--;
	vector<vector<int>>g(n);
	for(int i=0;i<m;i++){
		int a,b;
		cin>>a>>b;
		a--,b--;
		g[a].push_back(b);
		g[b].push_back(a);
	}
	vector<int>md(n,-1);
	auto dfs=[&](auto&dfs,int now)->void{
		for(auto x:g[now]){
			if(md[x]==-1)md[x]=md[now]+1,dfs(dfs,x);
		}
	};
	md[s]=0;
	dfs(dfs,s);
	if(md[t]!=-1){
		if(md[t]%2!=k%2){
			cout<<"No"<<endl;
		}
		else if(md[t]<=k){
			cout<<"Yes"<<endl;
		}
		else cout<<"Unknown"<<endl;
	}
	else cout<<"Unknown"<<endl;
}