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

int main() {
  int a,b,c;
  while(cin >> a >> b >> c) {
    int d[11];
    fill(d,d+11,1);
    d[a]=0;d[b]=0,d[c]=0;
    int cnt=0;
    for(int i=1; i<=10; i++) {
      if(d[i] && a+b+i<=20) cnt++;
    }
    if(cnt>3) cout << "YES" << endl;
    else cout << "NO" << endl;
  }
  return 0;
}
