#include<iostream>
#include<string>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int main(void){
    int c1,c2,c3,cnt=0;
    while(cin>>c1>>c2>>c3){
        cnt=0;
        for(int i=1;i<=10;i++){
            if(i!=c1&&i!=c2&&i!=c3&&i+c1+c2<21)cnt++;
        }
        if(cnt>3)cout<<"YES"<<endl;
        else cout<<"NO"<<endl;
    }
    return 0;
}