#include<iostream>
using namespace std;

int main()
{
    int card[11];

    int c1, c2, c3;
    while( cin >> c1 >> c2 >> c3 )
    {
        for( int i = 1; i <= 10; i++ )
        card[i] = 1;

        card[c1] = 0;
        card[c2] = 0;
        card[c3] = 0;

        int limit = 20 - c1 - c2;
        double p = 0, sum = 0;
        for( int i = 1; i <= 10; i++ )
        {
            if( card[i] == 1 )
            {
                sum++;
                if( i <= limit )
                    p++;
            }
        }
        if( 100 * p / sum > 50 )        //相手の裏のカードが自分が引きたいカードだった場合の確率で考える。
            cout << "YES" << endl;
        else
            cout << "NO" << endl;
    }
    return 0;
}

