#include <cstdio>
using namespace std;

int c1, c2, c3;

int main() {
  while (1) {
    if (scanf("%d%d%d", &c1, &c2, &c3) != 3) return 0;

    int cnt = 0;
    for (int i=1; i<=10; i++) {
      if (i == c1) continue;
      if (i == c2) continue;
      if (i == c3) continue;
      if (c1+c2+i <= 20) cnt++;
    }

    if (cnt >= 4) puts("YES");
    else puts("NO");
  }
}