#include <bits/stdc++.h>
int main(int argc, char* argv[]) {
  int t, cups = 0, medals = 0, n, shelives_needed = 0;
  for (int i = 0; i < 3; i++) {
    scanf("%d", &t);
    cups += t;
  }
  for (int i = 0; i < 3; i++) {
    scanf("%d", &t);
    medals += t;
  }
  scanf("%d", &n);
  if (cups % 5 != 0) {
    shelives_needed += cups / 5 + 1;
  } else {
    shelives_needed += cups / 5;
  }
  if (medals % 10 != 0) {
    shelives_needed += medals / 10 + 1;
  } else {
    shelives_needed += medals / 10;
  }
  if (shelives_needed > n) {
    printf("NO\n");
  } else {
    printf("YES\n");
  }
  return 0;
}
