#include <bits/stdc++.h>
#define _GLIBCXX_DEBUG
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
typedef long long ll;

int main(){
	int n=6;
	vector<pair<int, int>> vp(n);
	vp[0].first=500;
	vp[1].first=100;
	vp[2].first=50;
	vp[3].first=10;
	vp[4].first=5;
	vp[5].first=1;
	rep(i,n) cin>>vp[i].second;
	int g; cin>>g;
	
	bool flg=false;
	for(int i=0; i<n; i++){
		for(int j=vp[i].second; j>0; j--){
			if(g-vp[i].first==0) flg=true;
			else if(g-vp[i].first<0) break;
			else g-=vp[i].first;
		}
	}
	cout << (flg?"YES":"NO") << endl;
}