#include<bits/stdc++.h>

 using namespace std;

 int f[];

 int getf(int v)

 {

     if(f[v]==v)return v;

     else

     {

         f[v]=getf(f[v]);

         return f[v];

     }

 }

 void merge(int v,int u)

 {

     int t1,t2;

     t1=getf(v);

     t2=getf(u);

     if(t1!=t2)

     {

         f[t2]=t1;

     }

     return;

 }

 void init()

 {

     for(int i=; i<; i++)

     {

         f[i]=i;

     }

 }

 int data[];

 int main()

 {

     int x,y,num=,maxx=-,ans=,flag=;

     memset(data,,sizeof(data));

     init();

     while(scanf("%d %d",&x,&y))

     {

         if(x==-&&y==-)break;

         if(x!=&&y!=)

         {

             if(getf(x)==getf(y))flag=;

             data[x]=x;

             data[y]=y;

             merge(x,y);

             //int temp=x>y?x:y;

         //    maxx=maxx>temp?maxx:temp;

         }

         if(x==&&y==)

         {

             for(int i=; i<=; i++)

             {

                 if(data[i])

                 {

                     if(getf(i)==i)ans++;

                 }

             }

             if(flag||ans>)

             {

                 printf("No\n");

             }

             else

             {

                 printf("Yes\n");

             }

             num=,maxx=-,ans=,flag=;

             memset(data,,sizeof(data));

             init();

         }

     }

     return ;

 }