#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
int main()
{
    int a,b,c;
    while(cin>>a>>b>>c)
    {
        int ca[15]={0};
        int ii;
        double zen=0,you=0;
        for(int i=1;i<=10;i++)ca[i]=1;
        ca[a]=0;ca[b]=0;ca[c]=0;
        ii=20-a-b;
        for(int i=1;i<=10;i++)if(ca[i]==1)zen++;
        for(int i=1;i<=ii;i++)if(ca[i]==1)you++;
        if(zen/2<=you)cout<<"YES"<<endl;
        else cout<<"NO"<<endl;
        //cout<<zen<<you<<endl;
    }
    return 0;
}