#include <iostream>
#include <cstdlib>

using namespace std;

int main(int argc, char **argv)
{
	int *a, c1, c2, c3, t;
	
	while(cin >> c1 >> c2 >> c3){
		a = (int *)calloc(11, sizeof(int));
		a[c1] = a[c2] = a[c3] = 1;
		t = 0;
		for(int i = 1; i <= 10; i++){
			if(a[i] == 0){
				if((i+c1+c2) <= 20){
					t++;
				}
			}
		}
		
		if((float)t/7.0 >= 0.5){
			cout << "YES" << endl;
		} else {
			cout << "NO" << endl;
		}
		free(a);
	}
	return 0;
}