#include<iostream>
using namespace std;
int main()
{
	int n[11]={1,2,3,4,5,6,7,8,9,10};
	int c1,c2,c3,c,d;
	while(1){
		cin>>c1>>c2>>c3;
		if(c1==0&&c2==0&&c3==0)return 0;
		d=0;
		n[c1-1]=11;
		n[c2-1]=11;
		n[c3-1]=11;
		c=20-c1-c2;
		for(int i=0;i<10;i++)if(n[i]<=c)d++;
		if(d>3)cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
		for(int i=0;i<10;i++)n[i]=i+1;
	}
	return 0;
}