#include <bits/stdc++.h>
int main() {
  int i, j, n, m, x, y, f;
  int a[3];
  int b[3];
  x = 0;
  for (i = 0; i < 3; i++) {
    scanf("%d", &a[i]);
    x += x;
  }
  y = 0;
  for (j = 0; j < 3; j++) {
    scanf("%d", &b[j]);
  }
  x = a[0] + a[1] + a[2];
  y = b[0] + b[1] + b[2];
  n = 0;
  while (x > 0) {
    x = x - 5;
    n++;
  }
  m = 0;
  while (y > 0) {
    y = y - 10;
    m++;
  }
  scanf("%d", &f);
  if ((m + n) > f)
    printf("NO");
  else
    printf("YES");
  return 0;
}
