#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}

int main() {
	int a[6];
	for (int i = 0; i < 6; i++) a[i] = ri();
	int x[6] = {500, 100, 50, 10, 5, 1};
	int n = ri();
	int dp[n + 1];
	for (int i = 0; i <= n; i++) dp[i] = 0;
	dp[0] = 1;
	for (int i = 0; i < 6; i++) {
		for (int j = n; j >= 0; j--) {
			if (!dp[j]) continue;
			for (int k = 1; k <= a[i]; k++) {
				int index = j + k * x[i];
				if (index <= n) dp[index] = 1;
			}
		}
	}
	std::cout << (dp[n] ? "YES" : "NO") << std::endl;
	
	return 0;
}