// yukicoder: No.842 初詣
// 2019.6.28 bal4u

#include <stdio.h>

int t[6] = {500,100,50,10,5,1};
int a[6], g;
char dp[7000];

int main()
{
	int i, j, k, m;
	
	for (i = 0; i < 6; i++) scanf("%d", a+i);
	scanf("%d", &g);
	dp[0] = 1;
	for (i = 0; i < 6; i++) {
		for (k = g-t[i]; k >= 0; k--) if (dp[k]) {
			for (j = a[i]; j > 0; j--) dp[k + t[i]*j] = 1;
		}
	}
	puts(dp[g]? "YES": "NO");
	return 0;
}