a[37],s,n;main(long i){for(;i=0,gets(&i);a[i%37]+=2,s++);for(;++i<37;n+=a[i]>s);n=!puts(n?"NO":"YES");}