#include <iostream>
using namespace std;

int main()
{
	int c1,c2,c3;
	bool C[10];
	while(cin >> c1 >> c2 >> c3){
		for(int i = 0; i < 10; ++i) C[i] = true;
		C[c1-1] = C[c2-1] = C[c3-1] = false;
		int count = 0;
		for(int i = 0; i < 10; ++i){
			if(C[i]){
				if(c1 + c2 + i + 1 <= 20){
					count++;
				}
			}
		}
		cout << ((count / 7.0) >= 0.5 ? "YES" : "NO") << endl;
	}
}