#include <iostream>

using namespace std;

int main(){
  int c1, c2, c3;
  while(cin >> c1 >> c2 >> c3){
    int sum=0;
    for(int i=1;i<=10;i++){
      if(i==c1) continue;
      if(i==c2) continue;
      if(i==c3) continue;
      if(c1+c2+i<=20) sum++;
    }
    if(sum>=4) cout << "YES" << endl;
    else cout << "NO" << endl;
  }
  return 0;
}