#include <bits/stdc++.h>
using namespace std;
int main() {
  int a1, a2, a3, b1, b2, b3, n, s = 0, s1 = 0, a = 0, b = 0;
  scanf("%d %d %d", &a1, &a2, &a3);
  scanf("%d %d %d", &b1, &b2, &b3);
  scanf("%d", &n);
  s += (a1 + a2 + a3);
  s1 += (b1 + b2 + b3);
  a = s / 5;
  b = s1 / 10;
  if (s % 5 != 0) a++;
  if (s1 % 10 != 0) b++;
  if (n >= (a + b))
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
