#include<bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i,m,n) for(int i=m; i<n; ++i)
#define repl(i,m,n) for(ll i=m; i<n; ++i)

int main(){
    int A, B, C, D, E, F, G;
    cin >> A >> B >> C >> D >> E >> F >> G;

    rep(a, 0, A+1){
        rep(b, 0, B+1){
            rep(c, 0, C+1){
                rep(d, 0, D+1){
                    rep(e, 0, E+1){
                        rep(f, 0, F+1){
                            int s = a*500 + b*100 + 50*c + 10*d + 5*e + f;
                            if(s == G){
                                cout << "YES" << endl;
                                return 0;
                            }
                        }
                    }
                }
            }
        }
    }
    cout << "NO" << endl;
    return 0;
}