import itertools


def main():
    a, b, c, d, e, f, g = map(int, input().split())
    for aa, bb, cc, dd, ee, ff in itertools.product(
            range(a + 1), range(b + 1), range(c + 1), range(d + 1), range(e + 1), range(f + 1)):
        if 500 * aa + 100 * bb + 50 * cc + 10 * dd + 5 * ee + ff == g:
            print("YES")
            exit()
    print("NO")


if __name__ == "__main__":
    main()