#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <string>
#include <algorithm>
#include <vector>
#include <queue>
#include <stack>
#include <functional>
#include <iostream>
#include <map>
#include <set>
using namespace std;
typedef pair<int,int> P;
#define pu push
#define pb push_back
#define mp make_pair
#define eps 1e-7
#define INF 2000000000
int main()
{
	int a,b,c;
	while(cin >> a >> b >> c)
	{
		int count=0;
		for(int i=1;i<=10;i++)
		{
			if(i==a||i==b||i==c)continue;
			if(a+b+i<=20)
			{
				count++;
			}
		}
		if(count>=4)
		{
			cout << "YES" << endl;
		}
		else
		{
			cout << "NO" << endl;
		}
	}
	return 0;
}