//#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
//using namespace atcoder;
using ll = long long;
#define all(A) A.begin(),A.end()
using vll = vector<ll>;
#define rep(i, n) for (long long i = 0; i < (long long)(n); i++)
using Graph = vector<vector<ll>>;

int main() {
	 
	ll A,B,C,D,E,F,G;
	cin>>A>>B>>C>>D>>E>>F>>G;
	rep(a,A+1){
		rep(b,B+1){
			rep(c,C+1){
				rep(d,D+1){
					rep(e,E+1){
						rep(f,F+1){
							if(f+5*e+10*d+50*c+100*b+500*a==G){
								cout<<"YES"<<endl;
								return 0;
							}
						}
					}
				}
			}
		}
	}
	cout<<"NO"<<endl;

}