#include <bits/stdc++.h>
int main() {
  int a, b, c, d, e, f, g, x, y, count = 0;
  scanf("%d %d %d", &a, &b, &c);
  scanf("%d %d %d", &d, &e, &f);
  scanf("%d", &g);
  x = a + b + c;
  y = d + e + f;
  if (x <= 5 && x > 0)
    count = 1;
  else {
    if (x % 5 == 0)
      count = count + x / 5;
    else
      count = count + x / 5 + 1;
  }
  if (y <= 10 && y > 0)
    count = count + 1;
  else {
    if (y % 10 == 0)
      count = count + y / 10;
    else
      count = count + y / 10 + 1;
  }
  if (count <= g)
    printf("YES\n");
  else
    printf("NO\n");
}
