#include <iostream> #include <cstring> #include <vector> #include <set> #include <list> #include <map> #include <deque> #include <algorithm> #include <utility> using namespace std; typedef long long ll; typedef unsigned long long ull; typedef vector<ll> vll; typedef vector<vector<ll>> vvll; #define for1(i,n) for (ll i=0;i<(n);i++) #define for2(i,m,n) for (ll i=(m);i<(n);i++) #define for3(i,m,n,d) for (ll i=(m);i<(n);i+=(d)) #define DEBUG 0 void solve() { ll A,B,C,D,E,F,G; cin >> A >> B >> C >> D >> E >> F >> G; ll a,b,c,d,e,f,g; for1(a,A+1) { for1(b,B+1) { for1(c,C+1) { for1(d,D+1) { for1(e,E+1) { for1(f,F+1) { g = 500*a + 100*b + 50*c + 10*d + 5*e + f; if (g == G) { cout << "YES" << endl; return; } } } } } } } cout << "NO" << endl; } int main() { do { solve(); } while (DEBUG); }