#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<map>
using namespace std;
const int inf=0x3f3f3f3f;
const int maxx=1005;
int e[maxx][maxx];
int vis[maxx];
int n,m;
void Flody(){
for(int k=0;k<n;k++){
for(int i=0;i<n;i++){
for(int j=0;j<n;j++){
e[i][j]=min(e[i][k]+e[k][j],e[i][j]);
}
}
}
int flag=0;
for(int i=0;i<n;i++){
for(int j=0;j<i;j++){
if(e[i][j]>7){
flag=1;
break;
}
}
if(flag==1)break;
}
if(flag==0){
cout<<"Yes"<<endl;
}else{
cout<<"No"<<endl;
}
}
int main(){
while(scanf("%d %d",&n,&m)!=EOF){
for(int i=0;i<=n;i++){
for(int j=0;j<=n;j++){
if(i==j){
e[i][j]=0;
}else{
e[i][j]=inf;
}
}
}
for(int i=0;i<m;i++){
int a,b;
scanf("%d %d",&a,&b);
e[a][b]=e[b][a]=1;
}
Flody();
}
return 0;
}