#include <iostream>
using namespace std;

int main(){
	int a,b,c,p;
	while(cin >> a >> b >> c){
		p=0;
		for(int i=0;i<10;i++){
			if( (i+1)!=a && (i+1)!=b && (i+1)!=c){
				if(a+b+(i+1)<=20){
					p++;
				}
			}
		}
		if(p>3){
			cout << "YES" << endl;
		}else{
			cout << "NO" << endl;
		}
	}
}