a[9],i=13,z,s;c(int*x,int*y){z=*x-*y;}main(){for(;!~scanf("%d",a)?s+=s+a[i-1]/a[i]:qsort(a,7,4,c),--i;);s=!puts(s&33||s&10&&s&20?"NO":"YES");}