#include <iostream>
using namespace std;
int main(){
	int c[3];
	while(cin>>c[0]>>c[1]>>c[2]){
		int count=0;
		for(int i=1;i<=10;i++){
			if(i==c[0] || i==c[1] || i==c[2]) continue;
			else if(c[0]+c[1]+i<=20) count++;
		}
		if(count>=4) cout<<"YES"<<endl;
		else if(count<4) cout<<"NO"<<endl;
	}
	return 0;
}