//変数が分からないレベルの競プロerなので、無思考DFSで無理やり通してみよう
//やばそうなケース1：頂点1を含む頂点数4の2重連結成分, その他頂点の2重連結成分, を橋で結ぶ
//やばそうなケース2: 上記の1つ目を「田んぼの田みたいな2連結成分」にすると、サイズチェックなどで嘘ACできなくなる。
#include <iostream>
#include <vector>
using namespace std;

int n, m;
vector<int> et[20001];
bool flag[20001];
bool used[20001] = {false};

bool dfs(int u, int dep) {
	used[u] = true;
	
	if (dep == 4) {
		return (used[u] = flag[u]);
	}
	
	for (int i = 0; i < et[u].size(); i++) {
		int v = et[u][i];
		if (used[v]) continue;
		if (dfs(v, dep + 1)) return true;
	}
	//used[u] = falseとしていない！！（嘘解法）
	return false;
}

int main() {
	int i;
	
	cin >> n >> m;
	for (i = 0; i < m; i++) {
		int u, v;
		cin >> u >> v;
		et[u].push_back(v);
		et[v].push_back(u);
	}
	
	for (i = 1; i <= n; i++) { flag[i] = false; for (int j = 0; j < et[i].size(); j++) if (et[i][j] == 1) flag[i] = true; }
	for (i = 1; i <= n; i++) { if (flag[i]) break; } if (i > n) { cout << "NO" << endl; return 0; }
	
	if (dfs(1, 0)) cout << "YES" << endl;
	else cout << "NO" << endl;
	return 0;
}