#include<stdio.h>

int main(){
bool w[11];
int x,y,z;
int S=0,W=0;
while(scanf("%d %d %d",&x,&y,&z)!=0){
	for(int i=0;i<12;i++)
		w[i]=true;

	for(int i=0;i<12;i++)
	{if(x==i||y==i||z==i)w[i]=false;}
for(int i=1;i<11;i++)
{if(w[i]=true){
if(i!=z&&x+y+i>20)W++;
else if(i!=z&&x+y+i<=20)S++;
}
}

if(S>=4)printf("YES\n");
else if(S<4)printf("NO\n");
S=0,W=0;

}
return 0;
}