#include int main() { int a, b, c, d, e, f, g; scanf("%d %d %d %d %d %d %d", &a, &b, &c, &d, &e, &f, &g); for (int a_ = 0; a_ <= a; ++a_) for (int b_ = 0; b_ <= b; ++b_) for (int c_ = 0; c_ <= c; ++c_) for (int d_ = 0; d_ <= d; ++d_) for (int e_ = 0; e_ <= e; ++e_) for (int f_ = 0; f_ <= f; ++f_) if (a_ * 500 + b_ * 100 + c_ * 50 + d_ * 10 + e_ * 5 + f_ * 1 == g) { printf("YES\n"); return 0; }; printf("NO\n"); }