#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;

int main(){
    int a,b,c;
    int cnt;
    int ch[11];
    while(scanf("%d %d %d",&a,&b,&c) != EOF){
        memset(ch,0,sizeof(ch));
        ch[a] = 1;
        ch[b] = 1;
        ch[c] = 1;
        cnt=0;
        for(int i=1;i<=10;i++){
            if(ch[i] == 0 && 20 - (a+b) >= i) cnt++;
        }
        if(cnt >= 4) cout << "YES" << endl;
        else cout << "NO" << endl;
    }
}