#define scanf_s scanf
//#define gets_s gets
#include <stdio.h>
#include <string>
#include <iostream>
#include <math.h>
using namespace std;
#define MAX 20001
int main(void)
{
	double a;
	int c1, c2, c3, s, cou = 0;
	while (scanf_s("%d %d %d", &c1, &c2, &c3) != EOF) {
		s = 20 - (c1 + c2);
		if (s > 10) printf("YES\n");
		else if (s < 1) printf("NO\n");
		else {
			if (s >= c1) ++cou;
			if (s >= c2) ++cou;
			if (s >= c3) ++cou;
			a = (double)(s - cou) / (10 - 3);
			if(a >= 0.5) printf("YES\n");
			else  printf("NO\n");
			cou = 0;
		}
	}
}