#include <bits/stdc++.h>

using namespace std;

int main(int argc, char *argv[]) {
    int A, B, C, D, E, F, G;
    cin >> A >> B >> C >> D >> E >> F >> G;

    for (int i = 0; i <= A; i++) {
        for (int j = 0; j <= B; j++) {
            for (int k = 0; k <= C ; k++) {
                for (int l = 0; l <= D; l++) {
                    for (int m = 0; m <= E; m++) {
                        for (int n = 0; n <= F; n++) {
                            int sum = 500 * i + 100 * j + 50 * k + 10 * l + 5 * m + 1 * n;
                            if (sum == G) {
                                cout << "YES" << endl;
                                return 0;
                            }
                        }
                    }
                }
            }
        }
    }

    cout << "NO" << endl;
    return 0;
}