#include<iostream>

using namespace std;


int main(void) {
	int x, y, z,sum,n,count_l,count_h;
	while (cin >> x >> y >> z) {
		sum = x + y;
		n = 20 - sum;
		if (sum < 10) cout << "YES" << endl;
		else {
			count_l = n;
			count_h = 10 - n;
			if (x <= n)count_l--;
			else count_h--;
			if (y <= n)count_l--;
			else count_h--;
			if (z <= n)count_l--;
			else count_h--;
			if(count_l>=count_h) cout << "YES" << endl;
			else cout << "NO" << endl;
		}
	}
}