#include <bits/stdc++.h>
using namespace std;
int a[3], b[3], n;
int main() {
  scanf("%d%d%d%d%d%d%d", a, &a[1], &a[2], b, &b[1], &b[2], &n);
  int r1 = a[0] + a[1] + a[2];
  int r2 = b[0] + b[1] + b[2];
  int x1 = r1 / 5, x2 = r2 / 10;
  ;
  if (r1 % 5) x1++;
  if (r2 % 10) x2++;
  if (x1 + x2 > n)
    printf("NO\n");
  else
    printf("YES\n");
  return 0;
}
