#include <iostream>
#include <cstdlib>
using namespace std;

int main() {
  int c1;
  while( cin >> c1 ) {
    int c2, c3;
    int counter = 0;
    cin >> c2 >> c3;
    for( int i = 1; i <= 10; i++ ) {
      if( i == c1 || i == c2 || i == c3 ) { continue; }
      if( c1 + c2 + i <= 20 ) { counter++; }
    }
    cout<< ( counter * 100 / 7 >= 50 ? "YES" : "NO" ) << endl;
  }

  return EXIT_SUCCESS;
}