#include <iostream>
#include <cstring>
using namespace std;
const int NUM = 7;
int main(){
	int a,b,c,l[10],s,cnt;
	while(cin >> a >> b >> c){
		memset(l,0,sizeof(l));
		s = a + b;
		++l[--a];
		++l[--b];
		++l[--c];
		cnt = 0;
		for(int i = 0;i < 10;++i){
			if(!l[i]){
				if(s + i + 1 <= 20) ++cnt;
			}
		}
		cnt *= 10;
		if((double)(cnt / NUM) >= 5.0) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}