#include <iostream>
#include <cstdio>

using namespace std;

int main()
{
  int sum, c[3];
  while (scanf("%d %d %d ", c, c + 1, c + 2) == 3) {
    sum = c[0] + c[1];
    int lower = 20 - sum;
    int counter = 0;
    for (int i = 0; i < 3; i++) {
      if (c[i] <= lower) {
	counter++;
      }
    }
    if ((double)(lower - counter) / 7 >= 0.5) {
      printf("YES\n");
    } else {
      printf("NO\n");
    }
  }
  return 0;
}