#include <iostream>
using namespace std;

int main() {

  int in0, in1, in2;

  while( cin >> in0 >> in1 >> in2 ) {

    int ans = 0;
    for ( int i = 1; i <= 10; i++ ) {
      if ( i != in0 && i != in1 && i != in2 && in0 + in1 + i <= 20 ) ans++;
    }
    if ( ans >= 4 ) {
      cout << "YES" << endl;
    }else {
      cout << "NO" << endl;
    }

  }

  return 0;

}