#include <bits/stdc++.h>
using namespace std;

int main() {
	int c1, c2, c3;
	while(cin >> c1 >> c2 >> c3){
		int s = c1 + c2, cnt = 0;
		bool check[16] = {0};
		check[c1] = check[c2] = check[c3] = true;
		for(int i = 1; i <= 10; ++i){
			if(s + i > 20)
				break;
			if(s + i <= 20 && !check[i])
				cnt++;
		}
		if(cnt >= 4)
			cout << "YES" << endl;
		else
			cout << "NO" << endl;
	}
	return 0;
}