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