#include<iostream>

using namespace std;

int main(){

  int card[11];
  int c[3];

  while(cin >> c[0] >> c[1] >> c[2]){

    for(int i = 0; i < 11; i++) card[i] = 0;

    for(int i = 0; i < 3; i++) card[c[i]] = 1;

    int sum = 20 - (c[0] + c[1]);

    int p = 0;

    for(int i = 1; i <= sum; i++){
      if(card[i] == 0) p++;
    }

    if(p >= 5) cout << "YES";
    else cout << "NO";
    cout << endl;
  }

  return 0;
}