#include<iostream>
#include<algorithm>
#include<vector>
#include <string>
#include<math.h>
#include<bitset>
typedef long long int ll;
using namespace std;

int main(){
	int a,b,c,d,e,f,g; cin >>a>>b>>c>>d>>e>>f>>g;
	for(int i=0;i<a+1;i++){
		for(int j=0;j<b+1;j++){
			for(int k=0;k<c+1;k++){
				for(int h=0;h<d+1;h++){
					for(int s=0;s<e+1;s++){
						for(int t=0;t<f+1;t++){
							if(500*i+100*j+50*k+h*10+s*5+t==g){
								cout << "YES" << endl;
								return 0;
							}
						}
					}
				}
			}
		}
	}
	cout << "NO" << endl;
	return 0; 
}