#include <cstdio>

using namespace std;

int main()
{
	int c1,c2,c3;
	int m[11]={0};
	int sum;
	while(~scanf("%d %d %d",&c1,&c2,&c3)){
		for(int i=1;i<11;i++) m[i]=0;
		m[c1]=m[c2]=m[c3]=1;
		sum=0;
		for(int i=1;i<11;i++){
			if(m[i]!=1&&c1+c2+i<=20){
				sum++;
			}
		}
		if(sum>3){
			printf("YES\n");
		}
		else {
			printf("NO\n");
		}
	}
	return 0;
}