#include<cstdio>
#include<cmath>
#include<algorithm>
#include<iostream>
#include<string>
#include <vector>
#include <map>
#include<cstdlib>


using namespace std;

void Solution()
{
    int c1, c2, c3;
    
    while(cin>>c1>>c2>>c3)
    {
        int cardUse[10] = {0};
        int sumCheck = 20;
        
        double cardAdd = 0;
        
        sumCheck -= c1 + c2;
        
        cardUse[c1 - 1] = 1;
        cardUse[c2 - 1] = 1;
        cardUse[c3 - 1] = 1;
        
        for(int i = 0; i < 10; i++)
        {
            if(cardUse[i] == 0)
            {
                if(i >= sumCheck)
                {
                    cardAdd++;
                }
            }
        }
        
        if(cardAdd / (10 - 3) <= 0.5) // cardAdd/n is probability
        {
            cout<<"YES"<<endl;
        }
        else
        {
            cout<<"NO"<<endl;
        }
    }
}

int main()
{
    Solution();
    return 0;
}