#include <fstream>

int main()
{
  int C1, C2, C3, counter;
  while ( scanf("%d %d %d", &C1,&C2,&C3) != EOF ) {
    counter = 0;
    for (int i = 1; i < 11; i++) {
      if ( (i != C1 && i != C2 && i != C3) && (C1 + C2 + i <= 20) ) {
        counter++;
      }
    }
    if (counter < 4) {
        printf("NO\n");
    } else {
        printf("YES\n");
    }
  }
  return 0;
}