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

int main(){

  int cnt, c[3], num[11];

  while(cin >> c[0] >> c[1] >> c[2]){
    cnt = 0;
    fill(num+1, num+11, 0);
    for(int i=0; i<3; i++){
      for(int j=1; j<11; j++){
        if(c[i] == j){
          num[j] = 1;
          break;
        }
      }
    }

    int m = 20 - (c[0] + c[1]);
    for(int i=1; i<11; i++){
      if(num[i] == 0 && i <= m) cnt++;
    }

    cout << ((cnt>=4)? "YES":"NO") << endl;

  }

  return 0;

}