#include<stdio.h>
int main(void)
{
    int a,b,c,i,j,x;
    while(scanf("%d %d %d",&a,&b,&c)!=EOF){
        x=20-a-b;
        j=0;
        for(i=1;i<11;i++){
            if(i != a && i != b && i != c){
               if(i <= x)
                   j++;
            }
        }
        if(j>3)
            printf("YES\n");
        else
            printf("NO\n");
    }
  return 0;
}