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");
}