#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 sum = 0;
	sum = 13*(13+1)/2*4;

	double est;

	while(cin >> c[0] >> c[1] >> c[2]){
		if(c[0] == 0)break;
		est = (sum-c[0]-c[1]-c[2])/(52-3);
		if(c[0]+c[1]+est <= 20){
			cout << "YES" << endl;
		}else{
			cout << "NO" << endl;
		}
	}

	
    return 0;
}