#include <cstdio>
#include <algorithm>
using namespace std;

int main() {
  int c1, c2, c3, sum, t, p;
  while (scanf("%d %d %d", &c1, &c2, &c3)==3) {
    sum = c1 + c2;
    t = min(10, 20-sum);
    p = t;
    if (c1 <= t) --p;
    if (c2 <= t) --p;
    if (c3 <= t) --p;
    if (p*2>=7) printf("YES\n");
    else printf("NO\n");
  }
  return 0;
}