#include "bits/stdc++.h"
#define REP(i, n, N) for(ll i = n; i < (N); i++)
#define p(s) cout << (s) << endl
#define p2(a, b) cout << (a) <<" "<< (b) << endl
using namespace std;
typedef long long ll;
ll mod = 1e9+7;
ll inf = 1e18;

int main() {
    ll a, b, c, d, e, f, g;
    cin>>a>>b>>c>>d>>e>>f>>g;
    REP(A,0,a+1){
        ll now = 500 * A;
        REP(B,0,b+1){
            now += 100 * B;
            REP(C,0,c+1){
                now += 50 * C;
                REP(D,0,d+1){
                    now += 10 * D;
                    REP(E,0,e+1){
                        now += 5 * E;
                        REP(F,0,f+1){
                            now += F;
                            if(now == g) {
                                p("YES");
                                return 0;
                            }
                            now -= F;
                        }
                        now -= 5 * E;
                    }
                    now -= 10 * D;
                }
                now -= 50 * C;
            }
            now -= 100 * B;
        }
    }
    p("NO");
    return 0;
}