#include <string>
#include <iostream>
#include <map>
#include <cstdio>
#include <cstdlib>
#include <vector>
#include <algorithm>
#include <cmath>

using namespace std;

const double EPS = 1e-9;

int main(){
	int c[3];
	int cards[10];
	
	while(cin >> c[0] >> c[1] >> c[2]){
		fill(cards, cards+10, 1);
		if(c[0] == 0)break;
		for(int i = 0; i < 3; i++){
			cards[c[i]]--;
		}
		int count = 0;
		for(int i = 0; i < 10; i++){
			if(c[0]+c[1]+i+1 <= 20){
				count += cards[i];
			}
		}
		if((double)count/(10-3) >= 0.5){
			cout << "YES" << endl;
		}else{
			cout << "NO" << endl;
		}
	}

    return 0;
}