#include <iostream>
#include <vector>
#include <algorithm>
 
using namespace std;
 
#define repi(i,a,b) for(int i=int(a);i<int(b);i++)
#define rep(i,n) repi(i,0,n)
#define allof(a) (a).begin(),(a).end()
 
typedef vector<int> vi;
 
int main()
{
    for(int a,b,c;cin>>a>>b>>c;){
        vi cards;
        repi(i,1,10+1)
            if(i!=a && i!=b && i!=c)
                cards.push_back(i);
        int i=distance(cards.begin(),upper_bound(allof(cards),20-a-b));
        if(i>=4)
            cout<<"YES"<<endl;
        else
            cout<<"NO"<<endl;
    }
     
    return 0;
}