#include<cstdio>
using namespace std;
int main(){
    int a,b,c;

    while(scanf("%d",&a)!=EOF){
        int cnt = 0;
        int card[] = {0,1,2,3,4,5,6,7,8,9,10};
        scanf("%d%d",&b,&c);

        card[a] = -1;
        card[b] = -1;
        card[c] = -1;

        int ans=0;

        for(int i = 1;i <= 10; i++){
            ans = a+b;
            if(card[i] == -1)continue;
            else{
                ans += card[i];
                if(ans <= 20)cnt++;
            }
        }
        if(cnt > 3)printf("YES\n");
        else printf("NO\n");
        cnt = 0;
    }
    return 0;
}