#include<iostream>
using namespace std;

int main(){
	int a,b,c,g;
	while(cin>>a>>b>>c){
		g=0;
		for(int i=1;i<=10;i++)
			if(i!=a&&i!=b&&i!=c&&a+b+i<=20)g++;
		if(g>3.5)cout<<"YES"<<endl;else cout<<"NO"<<endl;
		}
	return 0;
}
	
	