#include <cstdio>
#include <set>

using namespace std;

int main()
{
    int a,b,c;
    while( scanf( "%d %d %d\n", &a, &b ,&c ) != EOF){

        set< int > st = {1,2,3,4,5,6,7,8,9,10};
        st.erase( a );
        st.erase( b );
        st.erase( c );
        int ally = a + b, opponent = c,cnt = 0;
        bool yes = 1;
        for( auto x : st )
        {
            if( x + ally <= 20 )
            {
                cnt++;
            }
        }
        if( cnt < 4 )
        {
            yes = 0;
        }
        cnt = 0;
        for( auto x : st )
        {
            if( x + opponent <= 20 )
            {
                cnt++;
            }
        }
        if( cnt < 5 )
        {
            yes = 0;
        }
        if( yes )
        {
            printf( "YES\n" );
        }
        else
        {
            printf( "NO\n" );
        }
    }
    return 0;
}
