#include<iostream>
using namespace std;

int main()
{
    int c1,c2,c3;
    while(cin >> c1 >> c2 >> c3)
    {
        int cards[11]={1,1,1,1,1,1,1,1,1,1,1};
        cards[c1]=0;
        cards[c2]=0;
        cards[c3]=0;
        
        int goodcard = 0;
        for(int i=1;i<=10;i++)
        {
            if(cards[i]==1 && ( (c1+c2) + i <=20)) goodcard++;
        }
        if(goodcard>3){cout << "YES"<< endl;continue;}
        else {cout <<"NO"<< endl;continue;}

    }

    return 0;
}