N, M = map(int, input().split())
edge = set()
for _ in range(M):
    u, v = map(int, input().split())
    edge.add((u, v))
    edge.add((v, u))
a, b, c = map(int, input().split())

if N == 3 and (a, b) in edge and (b, c) in edge and (c, a) in edge:
    print("No")
else:
    print("Yes")