#include <cstdio>

using namespace std;

int main()
{
	int c[3];
	int cnt = 0;
	float pro;
	int i;
	
	scanf("%d %d %d", &c[0], &c[1], &c[2]);
	
	for (i = 1; i <= 10; i++){
		if (i != c[0] && i != c[1] && i != c[2]){
			if (c[0] + c[1] + c[2] <= 20){
				cnt++;
			}
		}
	}
	
	pro = cnt / 7.0;
	
	if (pro >= 0.5){
		printf("YES\n");
	}
	else {
		printf("NO\n");
	}
	
	return (0);
}