#include<iostream>
#include<algorithm>
using namespace std;
int main()
{
	int c1,c2,c3;
	while(cin>>c1>>c2>>c3)
	{
		bool c[10]; fill(c,c+10,0);
		c[c1-1]=c[c2-1]=c[c3-1]=true;
		int cnt=0;
		for(int i = 0; c1+c2+i+1 < 21 ; ++i)
		{
			if(c[i]) continue;
			cnt++;
		}
		if(3<cnt) cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}

  return 0;
}