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

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