#include <cstdio>
#include<iostream>

using namespace std;
   
int main(void){
  
	int c1,c2,c3;
	int sum,num;

	while(cin>>c1>>c2>>c3){
		sum=0,num=0;
		for(int i=1;i<=10;i++){
			if(i!=c3){
				num++;
				if(c1+c2+i<=20) sum++;
			}
		}
		if(sum*100/num>=50) cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}

    return 0;
}