#include<iostream>
#include<vector>
#include<cassert>
#define rep(i,n) for(i=0;i<(int)(n);i++)
#define MAX_MONEY 6
using namespace std;
typedef long long ll;
typedef unsigned long long ull;

int id_to_cnt[MAX_MONEY],g;
const int id_to_money[MAX_MONEY]={500,100,50,10,5,1};

int main(){
    int i,j;
    rep(i,MAX_MONEY)scanf("%d",&id_to_cnt[i]);
    scanf("%d",&g);
    vector<int> money;
    rep(i,MAX_MONEY){
        j=1;
        while(j<=id_to_cnt[i]){
            id_to_cnt[i]-=j;
            money.push_back(id_to_money[i]*j);
            j*=2;
        }
        money.push_back(id_to_money[i]*id_to_cnt[i]);
    }
    vector<bool> dp(g+1,false);
    dp[0]=true;
    rep(i,money.size()){
        vector<bool> now=dp;
        rep(j,g+1)if(j+money[i]<=g&&dp[j])now[j+money[i]]=true;
        swap(now,dp);
    }
    printf("%s\n",dp[g]?"YES":"NO");
    return 0;
}