#include <fstream>

int main()
{
  int C1, C2, C3;
  int list[10] = {1,2,3,4,5,6,7,8,9,10};

  while ( scanf("%d%d%d", &C1,&C2,&C3) ) {
    int counter = 0;
    for (int i =0; i < 10; i++) {
      int j = list[i];
      if ( (j != C1 && j != C2 && j != C3) && (C1 + C2 + j <= 20) ) {
        counter++;
      }
    }
    if (counter < 4) {
        printf("No\n");
    } else {
        printf("Yes\n");
    }
  }
  return 0;
}