#include <iostream>
#include <cstdio>
#include <vector>
#include <algorithm>
#include <complex>
using namespace std;

#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()

int main() {
  int c1,c2,c3;
  while(cin>>c1>>c2>>c3) {
    int a=0;
    for(int i=1; i<=10; i++) {
      if (i==c1||i==c2||i==c3) continue;
      if (c1+c2+i<=20) a++;
    }
    if (a>=4) cout << "YES" << endl;
    else cout << "NO" << endl;
  }
}