#include<iostream>
using namespace std;
int cnt[11];
main()
{
    int a,b,c;
    while(cin>>a>>b>>c)
    {
        for(int i=1;i<=10;i++)cnt[i]=0;
        cnt[a]=cnt[b]=cnt[c]=1;
        int s=0;
        for(int i=1;i<=10;i++)
        {
            if(!cnt[i]&&a+b+i<20)s++;
        }
        cout<<(s>3?"YES":"NO")<<endl;
    }
}
