#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");
    }
}