#include<bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint=modint998244353;
using namespace std;
using ll=long long;
using ul=unsigned long long;
int dx[8] = {-1, 1, 0, 0, -1, -1, 1, 1};
int dy[8] = {0, 0, -1, 1, -1, 1, -1, 1};
using Graph=vector<vector<int>>;
int main(){
     vector<int>T(6);
    for(int i=0;i<6;i++)cin>>T[i];
        int x;
        cin>>x;
        while(x>0){
            if(x>=500){
                x-=500;
                T[0]--;
                if(x==0)break;
            }
            else if(x>=100){
                x-=100;
                T[1]--;
                if(x==0)break;
            }
            else if(x>=50){
                x-=50;
                T[2]--;
                if(x==0)break;
            }
            else if(x>=10){
                x-=10;
                T[3]--;
                if(x==0)break;
            }
            else if(x>=5){
                x-=5;
                T[4]--;
                if(x==0)break;
            }
            else {
                x--;
                T[5]--;
                if(x==0)break;
            }
        }
    int t;
    for(int i=0;i<5;i++){
        if(i%2==0)t=5;
        else t=2;
        if(T[i]<0){
            T[i+1]+=T[i]*t;
        }
    }
    if(T[5]>=0)cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
}