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