#include #include using namespace std; using namespace atcoder; istream &operator>>(istream &is, modint &a) { long long v; is >> v; a = v; return is; } ostream &operator<<(ostream &os, const modint &a) { return os << a.val(); } istream &operator>>(istream &is, modint998244353 &a) { long long v; is >> v; a = v; return is; } ostream &operator<<(ostream &os, const modint998244353 &a) { return os << a.val(); } istream &operator>>(istream &is, modint1000000007 &a) { long long v; is >> v; a = v; return is; } ostream &operator<<(ostream &os, const modint1000000007 &a) { return os << a.val(); } typedef long long ll; typedef vector> Graph; typedef pair pii; typedef pair pll; #define FOR(i,l,r) for (int i = l;i < (int)(r); i++) #define rep(i,n) for (int i = 0;i < (int)(n); i++) #define all(x) x.begin(), x.end() #define rall(x) x.rbegin(), x.rend() #define my_sort(x) sort(x.begin(), x.end()) #define my_max(x) *max_element(all(x)) #define my_min(x) *min_element(all(x)) template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } const int INF = (1<<30) - 1; const ll LINF = (1LL<<60) - 1; const int MOD = 998244353; const int MOD2 = 1e9+7; const double PI = acos(-1); vector di = {1,0,-1,0}; vector dj = {0,1,0,-1}; #ifdef LOCAL # include # define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define debug(...) (static_cast(0)) #endif vector bfs(int st, Graph &g){ int N = g.size(); queue que; que.push(st); vector dist(N,LINF); dist[st] = 0; while(!que.empty()){ auto now = que.front();que.pop(); for(auto nxt : g[now]){ if (dist[nxt] != LINF)continue; dist[nxt] = dist[now] + 1; que.push(nxt); } } return dist; } int main(){ cin.tie(0); ios_base::sync_with_stdio(false); ll N, M, K, s, t; cin >> N >> M >> K >> s >> t; s--, t--; vector u(M), v(M); Graph g(N); rep(i, M) { cin >> u[i] >> v[i]; u[i]--; v[i]--; g[u[i]].push_back(v[i]); g[v[i]].push_back(u[i]); } if (K & 1){ cout << "Yes" << endl; return 0; } if(g[s].empty() && g[t].empty()){ cout << "No" << endl; return 0; } if(g[s].size() > 1 && g[t].size() > 1){ cout << "Yes" << endl; return 0; } if((!g[s].empty() && g[s][0] != t) || (!g[t].empty() && g[t][0] != s)){ cout << "Yes" << endl; return 0; } assert(g[s][0] == t); assert(g[t][0] == s); ll L = LINF; rep(p, N){ if(p == s || p == t) continue; vector dist = bfs(p, g); rep(e, M) { if(dist[u[e]] != dist[v[e]]) continue; chmin(L, dist[u[e]]); } } cout << (K - 3LL >= 2LL * L + 1LL ? "Yes" : "No") << endl; }