#include<bits/stdc++.h>
using lint=long long;
using real=long double;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint n;std::cin>>n;
    std::vector<lint>unit={10000,5000,1000},m(3);
    for(lint i=2;i>=0;i--)std::cin>>m.at(i);
    std::vector<lint>a(n);
    for(lint&x:a)std::cin>>x;
    lint extra=0;
    for(lint&x:a)if(x%1000==0){
        extra++;
    }
    for(lint i=0;i<3;i++){
        for(lint j=0;j<n;j++){
            lint q=std::min(m.at(i),a.at(j)/unit.at(i));
            m.at(i)-=q;
            a.at(j)-=q*unit.at(i);
        }
        std::sort(a.rbegin(),a.rend());
        for(lint j=0;j<n;j++){
            if(!m.at(i))break;
            if(a.at(j)%1000==0&&a.at(j)<unit.at(i))extra--;
            m.at(i)--;
            a.at(j)=0;
        }
    }
    std::cout<<(!std::accumulate(a.begin(),a.end(),0ll)&&
        extra<=std::accumulate(m.begin(),m.end(),0ll)?"Yes":"No")<<'\n';
}