#include <iostream>
using namespace std;

int main(){
	int C1, C2, C3;

	while(cin >> C1 >> C2 >> C3){
		int sum = C1 + C2;
		int num[11] = {0};
		num[C1] = num[C2] = num[C3] = 1;

		int cnt = 0;
		for(int i=1;i<=10;i++){
			if(num[i] == 0){
				if(sum+i <= 20) cnt++;
			}
		}

		if((double)cnt/7 >= 0.5) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
}