#include <iostream>
#include <string>
#include <algorithm>
using namespace std;

bool CardGame(int y1, int y2, int o)
{
  int ok = 0;
  for (int i = 1; i <= 10; i++) {
    if (i == y1 || i == y2 || i == o)
      continue;
    if (i + y1 + y2 <= 20)
      ok++;
  }
  return ok > 3;
}

int main(int argc, char **argv)
{
  int c1, c2, c3;
  while (cin >> c1 >> c2 >> c3) {
    if (CardGame(c1, c2, c3))
      cout << "YES" << endl;
    else
      cout << "NO" << endl;
  }
  return 0;
}