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