#include <iostream>
#include <cstdio>
#include <string>
#include <sstream>
#include <algorithm>
#include <math.h>
//#include <map>
#include <iomanip>
#include <vector>

using namespace std;



int main()
{
	int c1, c2, c3;
	int sum;	//合計が20以下になる有効カードの枚数
	
	while (cin >> c1 >> c2 >> c3)
	{
		sum = 0;
		for (int i=1; i<=10; i++)
		{
			if (i != c1 && i != c2 && i != c3 && c1 + c2 + i <= 20) sum++;
		}
		//cout << "sum = " << sum << endl;
		if (sum / 7.0 >= 0.5)
		{
			cout << "YES" << endl;
		} else {
			cout << "NO" << endl;
		}
	}
	
	return 0;
}