// #pragma GCC target("avx")
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")

#include <bits/stdc++.h>
using namespace std;

#define rep(i,n) for(int i = 0; i < (int)n; i++)
#define FOR(n) for(int i = 0; i < (int)n; i++)
#define repi(i,a,b) for(int i = (int)a; i < (int)b; i++)
#define all(x) x.begin(),x.end()
//#define mp make_pair
#define vi vector<int>
#define vvi vector<vi>
#define vvvi vector<vvi>
#define vvvvi vector<vvvi>
#define pii pair<int,int>
#define vpii vector<pair<int,int>>

template<typename T>
bool chmax(T &a, const T b) {if(a<b) {a=b; return true;} else {return false;}}
template<typename T>
bool chmin(T &a, const T b) {if(a>b) {a=b; return true;} else {return false;}}

using ll = long long;
using ld = long double;
using ull = unsigned long long;

const ll INF = numeric_limits<long long>::max() / 2;
const ld pi = 3.1415926535897932384626433832795028;
const ll mod = 998244353;
int dx[] = {1, 0, -1, 0, -1, -1, 1, 1};
int dy[] = {0, 1, 0, -1, -1, 1, -1, 1};

#define int long long

struct Is_Bipartite {
    int n;
    vector<int> color;
    vector<vector<int>> g;

    Is_Bipartite(int n) : n(n), g(n) {}
    Is_Bipartite(vector<vector<int>> g) : n(g.size()), g(g) {}

    void add_edge(int a, int b) {
        g[a].push_back(b);
        g[b].push_back(a);
    }

    bool dfs(int v, int col) {
        color[v] = col;

        for(auto e : g[v]) {
            if(color[e] == col) {
                return false;
            }
            if(color[e] == -1) {
                if(!dfs(e, 1-col)) return false;
            }
        }
        
        return true;
    }

    vi generate(int st) {
        color.assign(n, -1);
        dfs(st, 0);
        return color;
    }
};

vector<int> bfs(vector<vector<int>> &g, int s) {
    int n = g.size();
    queue<int> que;
    vi dist(n, -1);
    que.push(s);
    dist[s] = 0;
    while(!que.empty()) {
        int v = que.front();
        que.pop();
        for(auto e : g[v]) {
            if(dist[e] < 0) {
                dist[e] = dist[v] + 1;
                que.push(e);
            }
        }
    }
    return dist;
}

struct UnionFind {
    vector<int> r;
    
    UnionFind(int n) {
        r = vector<int>(n, -1);
    }

    int root(int x) {
        if(r[x] < 0) return x;
        return r[x] = root(r[x]);
    }

    bool unite(int x, int y) {
        x = root(x);
        y = root(y);
        if(x == y) return false;
        if(r[x] > r[y]) swap(x, y);
        r[x] += r[y];
        r[y] = x;
        return true;
    }

    bool issame(int x, int y) {
        return root(x) == root(y);
    }

    int size(int x) {
        return -r[root(x)];
    }

    // int number_of_set() {
    //     unordered_set<int> st;
    //     for(int i = 0; i < (int)r.size(); i++) st.insert(root(i));
    //     return st.size();
    // }

    // only vertices: not including leader pos
    // vector<vector<int>> decompose() {
    //     vector<pair<int, int>> p;
    //     for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i);
    //     sort(all(p));
    //     //first:root, second:vertices
    //     vector<vector<int>> ret;
    //     int pre = -1;
    //     for(pair<int, int> e : p) {
    //         if(pre != e.first) {
    //             ret.push_back(vector<int>{e.second});
    //         }else {
    //             ret.back().push_back(e.second);
    //         }
    //         pre = e.first;
    //     }

    //     return ret;
    // }

    //leader and groups vertex
    // vector<pair<int, vector<int>>> decompose() {
    //     vector<pair<int, int>> p;
    //     for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i);
    //     sort(all(p));
    //     //first:root, second:vertices
    //     vector<pair<int, vector<int>>> ret;
    //     int pre = -1;
    //     for(pair<int, int> e : p) {
    //         if(pre != e.first) {
    //             ret.push_back(make_pair(e.first, vector<int>{e.second}));
    //         }else {
    //             ret.back().second.push_back(e.second);
    //         }
    //         pre = e.first;
    //     }

    //     return ret;
    // }

    // vector<int> roots(vector<int> x) {
    //     vector<int> ret((int)x.size());
    //     for(int i = 0; i < (int)x.size(); i++) ret[i] = root(i);
    //     return ret;
    // }

    // bool unite(pair<int, int> p) {
    //     return unite(p.first, p.second);
    // }
    // vector<bool> unite(vector<pair<int, int>> p) {
    //     vector<bool> ret((int)p.size());
    //     for(int i = 0; i < (int)p.size(); i++) {
    //         ret[i] = unite(p[i]);
    //     }
    //     return ret;
    // }
    // vector<bool> unite(vector<int> x, vector<int> y) {
    //     assert(x.size() == y.size());
    //     vector<bool> ret((int)x.size());
    //     for(int i = 0; i < (int)x.size(); i++) {
    //         ret[i] = unite(x[i], y[i]);
    //     }
    //     return ret;
    // }

    // bool issame(pair<int, int> p) {
    //     return issame(p.first, p.second);
    // }
};

void solve() {
    int n, m;
    cin >> n >> m;
    int s, t, k;
    cin >> s >> t >> k;
    --s;
    --t;
    Is_Bipartite g(n);
    vvi bg(n);
    UnionFind UF(n);
    FOR(m) {
        int a, b;
        cin >> a >> b;
        --a;
        --b;
        g.add_edge(a, b);
        bg[a].push_back(b);
        bg[b].push_back(a);
        UF.unite(a, b);
    }
    vi color = g.generate(s);
    vi dist = bfs(bg, s);
    if(n == 1) cout << "No" << endl;
    else if(n == 2) {
        if(color[t] == -1) cout << "Unknown" << endl;
        else if(k%2==1) cout << "Yes" << endl;
        else cout << "No" << endl;
    }else if(color[t] == -1) cout << "Unknown" << endl;
    else if(color[t] == k%2) {
        if(dist[t] <= k) cout << "Yes" << endl;
        else cout << "Unknown" << endl;
    }else cout << "No" << endl;
}

signed main() {
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    solve();
    return 0;
}