#include <bits/stdc++.h>
using namespace std;

#define rep(i,n) for(int i=0;i<(n);++i)
#define loop for(;;)
#define trace(var) cerr<<">>> "<<#var<<" = "<<var<<endl;
#define all(v) begin(v),end(v)
#define pb push_back
#define inf (1e9)
#define eps (1e-9)

int main() {


  int a,b,c;
  while (cin >> a >> b >> c) {
    int k = 0;
    for (int i=1;i<=10;++i) {
      if (i == a) continue;
      if (i == b) continue;
      if (i == c) continue;
      if (a+b+i <= 20) ++k;
    }
    cout << (
        (k >= 4) ? "YES" : "NO"
        ) << endl;
  }

  return 0;
}