#include <bits/stdc++.h>
using namespace std;
mt19937_64 rang(
    chrono::high_resolution_clock::now().time_since_epoch().count());
int rng(int lim) {
  uniform_int_distribution<int> uid(0, lim - 1);
  return uid(rang);
}
void solution() {
  int getchar_unlocked, sc, bc;
  int gm, sm, bm;
  cin >> getchar_unlocked >> sc >> bc;
  int cs = getchar_unlocked + sc + bc;
  cin >> gm >> sm >> bm;
  int ms = gm + sm + bm;
  int shelves;
  cin >> shelves;
  int cups = ceil(cs / (double)5);
  int meda = ceil(ms / (double)10);
  if (cups + meda <= shelves) {
    cout << "YES";
  } else {
    cout << "NO";
  }
}
int main() {
  ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  srand(chrono::high_resolution_clock::now().time_since_epoch().count());
  int test = 1;
  while (test--) {
    solution();
  }
  return 0;
}
