#include <cstdio>

using namespace std;

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