#include <iostream>
#include <string>
#include <math.h>
#include <algorithm>


using namespace std;



int main(){
    
    int card1, card2, card3;
    while(cin>>card1>>card2>>card3){
        int deck[11]={0};
        for(int i=1; i<=10; i++)deck[i]=1;
        int sum=card1+card2;
        deck[card1]=0;
        deck[card2]=0;
        deck[card3]=0;
        int yes=0;
        int no =0;
        for(int i=0; i<=10; i++){
            if(deck[i]==1){
                if(sum+i<=20)yes++;
                else no ++;
            }
        }
        if(yes>=no)cout<<"YES"<<endl;
        else cout<<"NO"<<endl;
    }
}