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

int main() {
  int a, b, c;
  while (cin >> a >> b >> c) {
    bool used[100];
    memset(used, false, sizeof(used));

    used[a] = used[b] = used[c] = true;
    int sum = a + b;
    int cnt = 0;
    for (int i = 1; i <= 10; ++i) {
      if (used[i]) continue;
      if (sum + i <= 20) cnt++;
    }

    cout << (cnt > 7/2 ? "YES" : "NO") << endl;
  }
}