#include <iostream>
#include <algorithm>
using namespace std;

int main(void){
	int a,b,c;
	
	while(cin>>a>>b>>c){
		bool flg[11];
		fill(flg,flg+11,false);
		flg[a] = flg[b] = flg[c] = true;
		
		int sum = a + b;
		int count = 0;
		
		for(int i=1;i<11;i++){
			if(!flg[i] && sum + i <= 20){
				count++;
			}
		}

		if(count >= 4){
			cout<<"YES\n";
		}
		else{
			cout<<"NO\n";
		}
	}

	return 0;
}