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) print('No') exit() if len(G[X-1])+len(G[Y-1])>0: print('Yes') else: if K%2==0: print('Yes') else: print('No')