#include <cstdio>

int main(){
    int c1,c2,c3;
    while(scanf("%d%d%d",&c1,&c2,&c3)!=-1){
        int ok=0;
        for(int i=1;i<=10;i++){
            if(i!=c1&&i!=c2&&i!=c3 && c1+c2+i<=20) ok++;
        }
        if(ok>=4) printf("YES\n");
        else printf("NO\n");
    }
}