#include <bits/stdc++.h>
using namespace std;
const double EPS = 0.0000001;
const double PI = acos(-1);
const long long INFLL = 0x7FFFFFFFFFFFFFFF;
const int INF = 0x7FFFFFFF;
template <typename T>
inline void next(T &num) {
  char c;
  num = 0;
  do {
    c = getchar_unlocked();
  } while (c != EOF && c == ' ' && c == '\n' && c == '\t');
  int sign = (c == '-' ? -1 : 1);
  if (c != '-') num += (c - '0');
  while ((c = getchar_unlocked()) != EOF && c != '\n' && c != '\t' &&
         c != ' ') {
    num *= 10;
    num += (c - '0');
  }
  num *= sign;
}
template <class T>
T extractPQ(priority_queue<T> pq) {
  T res = pq.top();
  pq.pop();
  return res;
}
int a, b, c, x, y, n;
int main() {
  next(a);
  next(b);
  next(c);
  x = (a + b + c + 4) / 5;
  next(a);
  next(b);
  next(c);
  y = (a + b + c + 9) / 10;
  next(n);
  puts(x + y <= n ? "YES" : "NO");
  return 0;
}
