#include<iostream>
using namespace std;
int main()
{
  int c[3],s;
  for(;cin>>c[0]>>c[1]>>c[2];)
    {
      int l[11]={0};
      int co=0,sum=0;
      for(int i=0;i<2;i++)
	l[c[i]]=1;
      s=c[0]+c[1];
      for(int i=1;i<11;i++)
	{
	  if(l[i]==0)
	    {
	      if(s+i<21)
		co++;
	      sum++;
	    }
	}
      if(0.5>(double)co/sum)
	cout<<"NO"<<endl;
      else
	cout<<"YES"<<endl;
    }
}