#include <iostream>
using namespace std;


int main(void){
  int m1, m2, o1;
  while(cin >> m1 >> m2 >> o1){
    int card[10] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
    int n = 20 - (m1 + m2);
    int match = 0;
    card[m1-1] = -1; card[m2-1] = -1; card[o1-1] = -1;
    for(int i = 0; i < 10; i++){
      if(card[i] == -1) continue;
      for(int j = 0; j < 10; j++){
        if(card[j] == -1 || i == j) continue;
        if(card[j] <= n) match++;
      }
    }
    if(1.0 * match / 42 >= 0.5) cout << "YES" << endl;
    else cout << "NO" << endl;
  }
  return 0;
}