#include <iostream>
#include <queue>

using namespace std;

int main(){

	int c[3];
	queue <int> ans;
	while(cin>>c[0]){
		if(c[0]==0){
			break;
		}
		for(int i=1;i<3;i++){
			cin>>c[i];
		}
		int sum;
		sum=(c[0]+c[1]);
		int p=0;
		for(int i=1;i<=10;i++){
			if(c[0]!=i && c[1] != i &&c[2] != i){
				if(sum+i<=20){
					p++;
				}
			}
		}
		if(p>3){
			cout<<"YES"<<endl;
		}
		else{
			cout<<"NO"<<endl;
		}
	}

	return 0;

}
/*
Sample Input
1 2 3
5 6 9
8 9 10
Output for the Sample Input
YES
YES
NO
*/