#include <iostream>
#include <vector>
#include <algorithm>
#include <cstdio>
#include <string>
#include <map>


#define rep(x,to) for(int x=0;x<to;x++)
#define rep2(x,from,to) for(int x=from;x<to;x++)

using namespace std;


int main(void){

int c[3];
bool ss[11];
	while(!cin.eof()){
		rep(i,11) ss[i] = true;
		rep(i,3){
			cin >> c[i];
			ss[c[i]] = false;
		}
		if( cin.eof()  ) break;
		
		int cnt = 0;
		rep2(i,1,11) 
			if(ss[i]  && (c[0] + c[1] + i <= 20) ) cnt++;
		string ans = "YES";
		if(cnt < 4) ans = "NO";
		
		cout << ans  <<endl;
	}
	return 0;
	
	
}