#include<iostream>
#include<string>
using namespace std;
int main(){
	int a[3],h,p;
	while(cin>>a[0]>>a[1]>>a[2]){
		h=20-a[0]-a[1];
		p=0;
		for(int i=1;i<=10;i++){
			bool g=true;
			for(int j=0;j<3;j++){
				if(a[j]==i)
					g=false;
			}
			if(g==true&&h>=i){
				p++;
			}
		}
		if(p>=5)
			cout<<"YES"<<endl;
		else
			cout<<"NO"<<endl;
	}
	return 0;
}