#include <cstdio>
using namespace std;

int main(){
	bool C[11];
	int C1, C2, C3;
	int res;
	
	while((scanf("%d%d%d", &C1, &C2, &C3)) != EOF){
		for(int i = 1; i <= 10; i++) C[i] = false;
		C[C1] = true; C[C2] = true; C[C3] = true;
		
		res = 0;
		for(int i = 1; i <= 10 && i <= 20 - (C1 + C2); i++){
			if(!C[i]) res++;
		}
		
		if(res >= 4) printf("YES\n");
		else printf("NO\n");
	}
	
	return 0;
}