#include <iostream>
#include <cmath>
using namespace std;
int main(){
	int a,b,c;
	while(cin >> a >> b >> c){
		int d[10];
		for(int i=0;i<10;i++) d[i] = 0;
		d[a-1]++;
		d[b-1]++;
		d[c-1]++;
		int e = 19-a-b;
		int f = 0;
		int g = 0;
		for(int i=0;i<10;i++){
			if(d[i]==1) continue;
			if(i>e) f++;
			else g++;
		}
		if(f>g) cout << "NO" << endl;
		else cout << "YES" << endl;
	}
}