#include<stdio.h>

int main(){

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

f[x]=false;f[y]=false;f[z]=false;


for(int i=i;i<11;i++)
{if(f[i]==true){if(x+y+i<=20)c++}}

if(c>=4)printf("YES\n");
c=0;
printf("NO\n");
}
return 0;
}