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