#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

int main(){
	vector <int> v;
	int a[4];
	for (int i = 1; i <= 10; i++){
		v.push_back(i);
	}
	cin >> a[0] >> a[1] >> a[2];
	sort(a, a + 3);
	for (int i = 0; i < 3; i++)
		v.erase(v.begin() + a[i] - i - 1);
	if (a[0] + a[1] + v[3] <= 20)cout << "YES" << endl;
	else cout << "NO" << endl;
	return 0;
}