#include <bits/stdc++.h>
using namespace std;

int main()
{
	int a, b, c, d, e, f, g;
	cin >> a >> b >> c >> d >> e >> f >> g;

	bitset<5001> bs;

	bs[0] = true;

	for (int i = 1; i <= a; i++)
	{
		bitset<5001> cs(bs);
		cs |= (bs << (500 * i));
		swap(bs, cs);
	}

	for (int i = 1; i <= b; i++)
	{
		bitset<5001> cs(bs);
		cs |= (bs << (100 * i));
		swap(bs, cs);
	}

	for (int i = 1; i <= c; i++)
	{
		bitset<5001> cs(bs);
		cs |= (bs << (50 * i));
		swap(bs, cs);
	}

	for (int i = 1; i <= d; i++)
	{
		bitset<5001> cs(bs);
		cs |= (bs << (10 * i));
		swap(bs, cs);
	}

	for (int i = 1; i <= e; i++)
	{
		bitset<5001> cs(bs);
		cs |= (bs << (5 * i));
		swap(bs, cs);
	}

	for (int i = 1; i <= f; i++)
	{
		bitset<5001> cs(bs);
		cs |= (bs << (1 * i));
		swap(bs, cs);
	}

	cout << (bs[g] ? "YES" : "NO") << endl;

	return 0;
}