#include<iostream>
using namespace std;

int main(){
	
	int c[3];
	while(cin>>c[0]){
	for(int i=1;i<3;i++)
		cin>>c[i];
	int s=0;
	double p=0;
		for(int i=0;i<=10;i++){
		if(i!=c[0]||i!=c[1]||i!=c[2]){
			if(i+c[1]+c[2]<=20)
				s++;
		}
		if(f!=0)
		p=s*100/7;
		else
			p=100;
		cout<<p<<endl;
		if(p>=50)
			cout<<"YES"<<endl;
		else
			cout<<"NO"<<endl;
	}
		
		

}