D; x[101]; f=0,g=0; c=0; main(i){ for(;~scanf("%d",&D);)++x[D]; for(i=1;i<=100;++i){ if(x[i])++c; if(x[i]>=3)f=1; if(c==1||c>=5)if(x[i]==2)f=1; if(c==2&&x[i]==2)g=1; if(g&&c==4&&x[i]==2)f=1; } puts(f?"NO":"YES"); }