#include<bits/stdc++.h>
#define REP(i,a,b) for(int i=(a);i<(b);i++)
#define rep(i,n) REP(i,0,(n))
typedef long long ll;
using namespace std;

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