#include<bits/stdc++.h>
#define inf 0x3f3f3f3f
using namespace std;
int n,m;
int dis[110][110];
int floyd(){
for(int k=1;k<=n;k++)
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++){
if(dis[i][j]>dis[i][k]+dis[k][j])
dis[i][j]=dis[i][k]+dis[k][j];
}
for(int i=1;i<=n;i++)
for(int j=i+1;j<=n;j++)
if(dis[i][j]>7) return 0;
return 1;
}
int main(){
int a,b,f;
while(cin>>n>>m){
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
dis[i][j]=(i==j)?0:inf;
while(m--){
scanf("%d%d",&a,&b);
dis[a+1][b+1]=1;
dis[b+1][a+1]=1;
}
if(!floyd()) cout<<"No"<<endl;
else cout<<"Yes"<<endl;
}
}