#include <iostream>
#include <vector>
#include <cstring>
#include <string>
#include <algorithm>
#include <iomanip>
using namespace std;

int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);

	int c1, c2, c3;
	while(cin >> c1 >> c2 >> c3) {
		bool exist[21];
		exist[c1] = exist[c2] = exist[c3] = true;
		int cnt = 0;
		for(int i = 1; i <= 10; i++) {
			if(!exist[i] && c1 + c2 + i <= 20) cnt++;
		}
		if(cnt >= 3) {
			cout << "YES" << endl;
		}
		else {
			cout << "NO" << endl;
		}
	}
}