#include <stdio.h>
int main(){
int a,b,c,y,n;
while(scanf("%d%d%d",&a,&b,&c)!=EOF){
y=n=0;
for(int i=1;i<=10;i++){
if(i==a||i==b||i==c)continue;
if(a+b+i>=20)n++;
else y++;
}
if(y>n)printf("YES\n");
else printf("NO\n");
}
}