#include <iostream>
#include <cstring>
#include <vector>
#include <set>
#include <list>
#include <map>
#include <deque>
#include <algorithm>
#include <utility>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef vector<ll> vll;
typedef vector<vector<ll>> vvll;
#define for1(i,n) for (ll i=0;i<(n);i++)
#define for2(i,m,n) for (ll i=(m);i<(n);i++)
#define for3(i,m,n,d) for (ll i=(m);i<(n);i+=(d))
#define DEBUG 0

void solve()
{
    ll A,B,C,D,E,F,G;
    cin >> A >> B >> C >> D >> E >> F >> G;
    ll a,b,c,d,e,f,g;
    for1(a,A+1) {
        for1(b,B+1) {
            for1(c,C+1) {
                for1(d,D+1) {
                    for1(e,E+1) {
                        for1(f,F+1) {
                            g = 500*a + 100*b + 50*c + 10*d + 5*e + f;
                            if (g == G) {
                                cout << "YES" << endl;
                                return;
                            }
                        }
                    }
                }
            }
        }
    }
    cout << "NO" << endl;
}

int main()
{
    do {
        solve();
    } while (DEBUG);
}