#include <stdio.h>

int main(void)
{
	int i;
	int c[3];
	int m;
	int ans;
	
	while (scanf("%d %d %d", &c[0], &c[1], &c[2]) != EOF){
		m = 20 - c[0] - c[1];
		ans = m;
		
		for (i = 0; i < 3; i++){
			if (c[i] <= m){
				ans--;
			}
		}
		
		if (ans > 3){
			printf("YES\n");
		}
		else {
			printf("NO\n");
		}
	}
	return (0);
}