#include <iostream>
using namespace std;

int main(){
	int c1,c2,c3,n;
	while(cin >> c1){
		cin >> c2;
		cin >> c3;
		
		n=0;
		for(int i=0;i<10;i++){
			if(i==c1 ||i==c2 ||i==c3){
			}else if(c1+c2+i<20){
				n=n+1;
			}	
		}
		if(n>3){
			cout << "YES" << endl;
		}else{
			cout << "NO" << endl;
		}
	}
	return 0;
}