#include<iostream>
using namespace std;

int main(){
	int c1,c2,c3;
	while(cin >> c1 >> c2 >> c3){
		int p=20-c1-c2;
		int over=0, lower=0;
		for(int i=1; i<=10; i++){
			if(i==c1 || i==c2 || i==c3) continue;
			if(i > p) over++;
			else lower++;
		}
		if(over <= lower) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}