#include<stdio.h>

int main(){
	int a,b,c;
	while(~scanf("%d%d%d",&a,&b,&c)){
		bool d[10];
		for(int i=0;i<10;i++)d[i]=false;
		d[a-1]=true;
		d[b-1]=true;
		d[c-1]=true;
		int time=0;
		for(int i=0;i<10;i++){
			if(!d[i]){
				if(a+b+i+1<=20)time++;
			}
		}
		if(time>3)printf("YES\n");
		else printf("NO\n");
	}
}