using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;

class Program
{
    static int NN => int.Parse(ReadLine());
    static int[] NList => ReadLine().Split().Select(int.Parse).ToArray();
    static int[][] NArr(long n) => Enumerable.Repeat(0, (int)n).Select(_ => NList).ToArray();
    public static void Main()
    {
        Solve();
    }
    static void Solve()
    {
        var c = NList;
        var (n, m) = (c[0], c[1]);
        var map = NArr(m);
        var v = NList.Distinct().ToList();
        v.Sort();
        var tree = new HashSet<int>[n];
        for (var i = 0; i < n; ++i) tree[i] = new HashSet<int>();
        foreach (var edge in map)
        {
            tree[edge[0]].Add(edge[1]);
            tree[edge[1]].Add(edge[0]);
        }
        for (var i = 0; i < n; ++i) for (var j = 0; j < n; ++j)
        {
            if (i == j) continue;
            for (var k = 0; k < n; ++k)
            {
                if (k == i || k == j) continue;
                if (tree[i].Contains(j) && tree[j].Contains(k) && tree[k].Contains(i))
                {
                    var list = new List<int>{ i, j, k };
                    list.Sort();
                    if (!Equals(v, list))
                    {
                        WriteLine("Yes");
                        return;
                    }
                }
                var l = 4 ^ i ^ j ^ k;
                if (tree[i].Contains(j) && tree[j].Contains(k) && tree[k].Contains(l) && tree[l].Contains(i))
                {
                    WriteLine("Yes");
                    return;
                }
            }
        }
        WriteLine("No");
    }
    static bool Equals(List<int> a, List<int> b)
    {
        if (a.Count != b.Count) return false;
        for (var i = 0; i < a.Count; ++i) if (a[i] != b[i]) return false;
        return true;
    }
}