#include <iostream>
#include <cstring>
#include <cstdlib>
#include <algorithm>
#include <vector>
#include <cstdio>
#include <map>
using namespace std;
#define FOR(i,a,b) for(int i=(a);i<(b);i++)
#define REP(i,b) FOR(i,0,b)
#define PB push_back
#define MP make_pair
int main(){
  int num[11];
  int c1,c2,c3;
  while(cin>>c1>>c2>>c3){
    for(int i=0;i<=10;i++)num[i]=1;
    num[c1]=num[c2]=num[c3]=0;
    int cnt=0;
    if(20-c1-c2>10){
      cout<<"YES"<<endl;
      continue;
    }
    for(int i=(20-c1-c2);i>=1;i--){
      if(num[i]==1)cnt++;
    }
    if(100*cnt/7>=50)cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
  }
}