#include <iostream>
#include <vector>
#include <stack>
#include <queue>
#include <map>
#include <bitset>
#include <algorithm>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <cstring>

#define X first
#define Y second
using namespace std;

int main(){
	int c1, c2, c3;
	while(cin >> c1 >> c2 >> c3){
		if(cin.eof()) break;
		int odd = 20-(c1+c2);
		double count = 0.0;
		for(int i = 1; i <= 10; i++){
			if(i==c1||i==c2||i==c3)continue;
			if(odd>=i) count++;
		}
		double ans = count/7.0;
		if(ans >= 0.5) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}