#include<bits/stdc++.h>
using namespace std;
int main(){
  int c1,c2,c3;
  while(cin>>c1>>c2>>c3){
    int ans[11]={};
    ans[c1]=1;ans[c2]=1;ans[c3]=1;
    int I=c1+c2;
    int anscnt=0;
    for(int i=1;i<=10;i++){
      if(!ans[i]){
	if(I+i<=20){
	  anscnt++;
	  //cout<<"!"<<endl;
	}
      }
    }
    if(anscnt>=4)
      cout<<"YES"<<endl;
    else
      cout<<"NO"<<endl;
  }
  return 0;
}