#include <algorithm>
#include <cstdio>

using namespace std;

int main() {
  int a, b, c;
  while (scanf("%d%d%d", &a, &b, &c) == 3) {
    bool cs[11];
    fill(cs+1, cs+11, true);
    cs[a] = cs[b] = cs[c] = false;
    int p = 0;
    for (int i = 1; i <= 10; i++)
      if (cs[i] && a + b + i <= 20)
        p++;
    puts(p >= 4 ? "YES" : "NO");
  }
  return 0;
}