#include<iostream>
#include<algorithm>
#include<vector>
#include<cstdio>
#include<climits>
#include<cmath>

#define f first
#define s second
#define mp make_pair

#define REP(i,n) for(int i=0; i<(int)(n); i++)
#define FOR(i,c) for(__typeof((c).begin()) i=(c).begin(); i!=(c).end(); i++)
#define ALL(c) (c).begin(), (c).end()

typedef unsigned int uint;
typedef long long ll;

using namespace std;

int main(){
  int c1,c2,c3;
  int sum;
  while(cin>>c1>>c2>>c3){
    vector<bool> flag(10,true);
    flag[c1-1] = flag[c2-1] = flag[c3-1] = false;
    sum = c1 + c2;
    int cnt = 0;
    REP(i,10){
      int card = i + 1;
      if(flag[i] && sum + card <= 20)
        cnt++;
    }
    if(cnt > 3)
      cout << "YES" << endl;
    else
      cout << "NO" << endl;
  }
  return 0;
}