#include<iostream>

using namespace std;
int main(){
    int a,b,c;
    while(cin>>a>>b>>c){
        double co=0;
        for(int i=1;i<11;i++){
            if(i==a||i==b||i==c)continue;
            if(i+a+b>20)break;
            co++;
        }
        if(co/7<0.5)cout<<"NO"<<endl;
        else cout<<"YES"<<endl;
    }
}