#include <iostream>
using namespace std;

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