1 #include<cstdio>
 2 #include<cstring> 
 3 using namespace std;
 4 
 5 const int inf=999;
 6 int G[105][105];
 7 
 8 int main()
 9 {
10     //freopen("in.txt","r",stdin);
11     int m,n,i,j,k,a,b;
12     while(scanf("%d%d",&m,&n)!=EOF)
13     {
14         printf("%d %d\n",m,n);
15         for(i=0;i<m;i++)
16         for(j=0;j<m;j++)
17         G[i][j]=G[j][i]=i==j?0:inf;
18         for(i=0;i<n;i++)
19         {
20             scanf("%d%d",&a,&b);
21             G[a][b]=G[b][a]=1;
22         }
23         for(i=0;i<m;i++)
24         for(j=0;j<m;j++)
25         for(k=0;k<m;k++)
26         if(G[j][k]>G[j][i]+G[i][k])
27         G[j][k]=G[k][j]=G[j][i]+G[i][k];
28         for(i=0;i<m;i++)
29         {
30             for(j=0;j<i;j++)
31             if(G[i][j]>7)break;
32             if(j!=i)break;
33         }
34         if(i==m)
35         printf("Yes\n");
36         else
37         printf("No\n");
38     }
39     return 0;
40 }