#include <bits/stdc++.h>
using namespace std;
int main() {
  int n1 = 0, n2 = 0;
  for (int i = 0; i < 3; i++) {
    int aux;
    scanf("%i", &aux);
    n1 += aux;
  }
  for (int i = 0; i < 3; i++) {
    int aux;
    scanf("%i", &aux);
    n2 += aux;
  }
  int n;
  scanf("%i", &n);
  int aux = n1;
  n1 = n1 / 5;
  if (aux % 5 != 0) n1++;
  aux = n2;
  n2 = n2 / 10;
  if (aux % 10 != 0) n2++;
  n1 = n1 + n2;
  if (n1 > n)
    printf("NO");
  else
    printf("YES");
  return 0;
}
