#include <iostream>
using namespace std;
#define EPS 1e-7
int main(void){
  int c1,c2,c3;
  while(cin>>c1>>c2>>c3){
    int d = 20-c1-c2,sum=0;
    for(int i=1;i<=10;++i)if(i!=c1&&i!=c2&&i!=c3)sum+=i;
    double exp=(double)sum*6.0/42.0;
    if(d-exp<-EPS) cout<<"NO"<<endl;
    else cout<<"YES"<<endl;
  }
  return 0;
}