#include<iostream>
#include<queue>
using namespace std;
int main(){
	queue<int> tab;
	int x,z,y,temp;
	while(cin>>x>>y>>z){
		temp=0;
		for(int i=1;i<11;i++){
			if(i!=x&&i!=y&&i!=z)
			tab.push(i);
		}
		for(int i=0;i<7;i++){
			if(tab.front()+x+y<=20)
			temp++;
			tab.pop();
		}
		if(temp*100>=7*50)
		cout<<"YES"<<endl;
		else
		cout<<"NO"<<endl;
	}
	return 0;
}