#include <cstdio>
#include<iostream>

using namespace std;
   
int main(void){
  
	int c1,c2,c3;

	while(cin>>c1>>c2>>c3){
		if(c1+c2<=15) cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}

    return 0;
}