#include<iostream>
#include<string>
#include<vector>
#include<cstdio>
#include<sstream>
#include<algorithm>
#include<cmath>
#include<map>
#include<functional>
#include<queue>
#include<stack>
#include<set>
using namespace std;

int main(){
	int a,b,c;
	while(cin>>a>>b>>c){
	if(a+b+c<=20)cout<<"YES"<<endl;
	else cout<<"NO"<<endl;
	}

}