#include <bits/stdc++.h>
using namespace std;

typedef long long ll;
#define all(x) (x).begin(),(x).end()
const int mod=1000000007,MAX=100003;

int main(){

    int A,B,C,D,E,F,G;cin>>A>>B>>C>>D>>E>>F>>G;
    bool flag=false;
    for(int a=0;a<A;a++){
        for(int b=0;b<B;b++){
            for(int c=0;c<C;c++){
                for(int d=0;d<D;d++){
                    for(int e=0;e<E;e++){
                        for(int f=0;f<F;f++){
                            int ans=500*a+100*b+50*c+10*d+5*e+f;
                            if(ans==G) flag=true;
                        }
                    }
                }
            }
        }
    }
    
    if(flag) cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
}