#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
int main()
{
    int a,b,c;
    while(cin>>a>>b>>c)
    {
        int ca[35]={0},flg=0;
        int f,cnt=0;
        ca[c]=0;
        f=20-a-b;
        for(int i=1;i<=10;i++)
        {
            ca[i]=1;
        }
        for(int i=f+1;i<=10;i++)
        {
            ca[i]=0;
        }
        for(int i=1;i<=10;i++)
        {
            if(ca[i]==1)cnt++;
        }
        if(cnt<5)cout<<"NO"<<endl;
        else cout<<"YES"<<endl;
    }
    return 0;
}