#include <iostream>

using namespace std;

int main() {
  int c1, c2, c3;
  while (cin >> c1 >> c2 >> c3) {
    bool data[11] = {};
    data[c1] = true;
    data[c2] = true;
    data[c3] = true;

    int a = 20 - c2 - c1;
    int c = 0;
    for (int i = 1; i <= 10; ++i)
      if (i <= a && data[i] == false)
        ++c;

    cout << ((c >= 4) ? "YES" : "NO") << endl;
  }
}
