#include <cstdio>
#include <cstring>
#include <algorithm>
#include <string>
#include <cmath>
#include <stack>
#include <vector>
#include <map>
#include <set>
#include <iostream>
#include <climits>
#include <cfloat>


using namespace std;

int main()
{
	int c[3];
	while (scanf("%d %d %d\n", c, c+1, c+2) != EOF)
	{
		bool left[11];
		fill(left, left+11, true);
		for (int i = 0; i < 3; ++i)
			left[c[i]] = false;

		int safe = 20 - (c[0]+c[1]);
		int t = 0;
		for (int i = 1; i <= safe; ++i)
		{
			if (left[i])
				++t;
		}
		if ((double)t/7 >= 0.5)
			puts("YES");
		else
			puts("NO");
	}

	return 0;
}