#include <iostream>
using namespace std;

int main()
{
	int c[3], sum, de;
	bool oc[30];

	while (cin >> c[0] >> c[1] >> c[2]){
		de = 0;
		sum = c[0] + c[1];
		for (int i = 1; i <= 10; i++){
			oc[i] = false;
		}

		for (int i = 0; i < 3; i++){
			oc[c[i]] = true;
		}

		for (int i = 0; i < (20 - sum) && i < 10; i++){		
			if (oc[i + 1] == false) de++;
		}
		if (de > 3) cout << "YES" << endl;
		else cout << "NO" << endl;
		
	}
	return (0);
}