#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <climits>
#include <cfloat>
#include <map>
#include <utility>
#include <set>
#include <iostream>
#include <memory>
#include <string>
#include <vector>
#include <algorithm>
#include <functional>
#include <sstream>
#include <fstream>
#include <complex>
#include <stack>
#include <queue>

using namespace std;
typedef long long LL;
typedef pair<int, int> P;
static const double EPS = 1e-5;

#define FOR(i,k,n) for (int i=(k); i<(int)(n); ++i)
#define REP(i,n) FOR(i,0,n)

int main(void){
  int c[3];
  while(cin>>c[0]){
    FOR(i,1,3)cin>>c[i];
    int rest = 20-c[0]-c[1];
    REP(i,3){
      if(20-c[0]-c[1]>=c[i]) rest--;
    }
    if(rest>=4) cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
  }
    return 0;
}