#include<bits/stdc++.h>
using namespace std;
#define int long long
#define ii pair<int, int>
#define fi first
#define se second
const int maxn = 3e6 + 25;
const int mod = 1e9 + 7;
const int oo = 1e16 + 7;
#define all(x) x.begin(), x.end()
int dx[] = {0, 1, -1, 0};
int dy[] = {1, 0, 0, -1};
int n, m;
bitset<2003> adj[1005];
void solve()
{
cin >> n >> m;
for(int i = 1; i <= m; i++)
{
int u, v; cin>> u >> v;
adj[u].set(v, 1);
adj[v].set(u, 1);
}
for(int i = 1; i <= n; i++)
{
for(int j = 1; j <= n; j++)
{
if(i == j) continue;
if((adj[i] & adj[j]).count() < 3) continue;
for(int k = 1; k <= n; k++)
{
if(k == j || k == i) continue;
if((adj[i] & adj[j] & adj[k]).count() >= 3)
{
cout << "YES\n";
return ;
}
}
}
}
cout << "NO\n";
}
int32_t main()
{
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
if(fopen("main.inp", "r"))
{
freopen("main.inp", "r", stdin);
// freopen("main.out", "w", stdout);
}
int test = 1;
// cin >> test;
while(test--) solve();
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCiNkZWZpbmUgaW50IGxvbmcgbG9uZwojZGVmaW5lIGlpIHBhaXI8aW50LCBpbnQ+CiNkZWZpbmUgZmkgZmlyc3QKI2RlZmluZSBzZSBzZWNvbmQKY29uc3QgaW50IG1heG4gPSAzZTYgKyAyNTsKY29uc3QgaW50IG1vZCA9IDFlOSArIDc7CmNvbnN0IGludCBvbyA9IDFlMTYgKyA3OwoKI2RlZmluZSBhbGwoeCkgeC5iZWdpbigpLCB4LmVuZCgpCgppbnQgZHhbXSA9IHswLCAxLCAtMSwgMH07CmludCBkeVtdID0gezEsIDAsIDAsIC0xfTsKCmludCBuLCBtOwpiaXRzZXQ8MjAwMz4gYWRqWzEwMDVdOwoKCnZvaWQgc29sdmUoKQp7CiAgICBjaW4gPj4gbiA+PiBtOwogICAgZm9yKGludCBpID0gMTsgaSA8PSBtOyBpKyspCiAgICB7CiAgICAgICAgaW50IHUsIHY7IGNpbj4+IHUgPj4gdjsKICAgICAgICBhZGpbdV0uc2V0KHYsIDEpOwoKICAgICAgICBhZGpbdl0uc2V0KHUsIDEpOwogICAgfQogICAgZm9yKGludCBpID0gMTsgaSA8PSBuOyBpKyspCiAgICB7CiAgICAgICAgZm9yKGludCBqID0gMTsgaiA8PSBuOyBqKyspCiAgICAgICAgewogICAgICAgICAgICBpZihpID09IGopIGNvbnRpbnVlOwogICAgICAgICAgICBpZigoYWRqW2ldICYgYWRqW2pdKS5jb3VudCgpIDwgMykgY29udGludWU7CiAgICAgICAgICAgIGZvcihpbnQgayA9IDE7IGsgPD0gbjsgaysrKQogICAgICAgICAgICB7CiAgICAgICAgICAgICAgICBpZihrID09IGogfHwgayA9PSBpKSBjb250aW51ZTsKCiAgICAgICAgICAgICAgICBpZigoYWRqW2ldICYgYWRqW2pdICYgYWRqW2tdKS5jb3VudCgpID49IDMpCiAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgY291dCA8PCAiWUVTXG4iOwogICAgICAgICAgICAgICAgICAgIHJldHVybiA7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICB9CiAgICBjb3V0IDw8ICJOT1xuIjsKfQoKCmludDMyX3QgbWFpbigpCnsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7IGNpbi50aWUoMCk7IGNvdXQudGllKDApOwogICAgaWYoZm9wZW4oIm1haW4uaW5wIiwgInIiKSkKICAgIHsKICAgICAgICBmcmVvcGVuKCJtYWluLmlucCIsICJyIiwgc3RkaW4pOwovLyAgICAgICAgZnJlb3BlbigibWFpbi5vdXQiLCAidyIsIHN0ZG91dCk7CiAgICB9CiAgICBpbnQgdGVzdCA9IDE7Ci8vICAgIGNpbiA+PiB0ZXN0OwogICAgd2hpbGUodGVzdC0tKSBzb2x2ZSgpOwp9Cg==