#include<iostream>
#define INF 105
using namespace std;
int main()
{
int n,m,d[105][105],mark,x,y,g;
while(cin>>n>>m)
{
mark=0;
g=0;
for(int i=0;i<n;i++)
{
for(int j=0;j<n;j++)
{
if(i==j)
d[i][j]=0;
else
d[i][j]=INF;
}
}
for(int i=0;i<m;i++)
{
cin>>x>>y;
d[x][y]=1;
d[y][x]=1;
}
for(int k=0;k<n;k++)
for(int i=0;i<n;i++)
for(int j=0;j<n;j++)
d[i][j]=min(d[i][j],d[i][k]+d[k][j]);
for(int i=0;i<n;i++)
{
for(int j=0;j<n;j++)
{
if(d[i][j]>7)
{
g=1;
break;
}
}
if(g==1)
break;
}
if(g==1)
cout<<"No"<<endl;
else
cout<<"Yes"<<endl;
}
}