// 何どさくさに紛れてJKと付き合ってんすか 許せねぇ
#include <stdio.h>

int k[] = {500, 100, 50, 10, 5, 1};
int c[6];
int g;

int dfs(int pos, int m);

int main()
{
    for (int i = 0; i < 6; i++) {
        scanf("%d", &c[i]);
    }
    scanf("%d", &g);

    if (dfs(0, 0)) {
        puts("YES");
    }
    else {
        puts("NO");
    }

    return 0;
}

int dfs(int pos, int m)
{
    if (m == g) {
        return 1;
    }
    else if (pos >= 6) {
        return 0;
    }

    int res = 0;
    for (int i = 0; i <= c[pos]; i++) {
        res |= dfs(pos + 1, m + k[pos] * i);
    }

    return res;
}