#include<iostream>
using namespace std;
int main(){
  int a,b,c;
  while(cin >>a>>b>>c){
    bool f[11]={};
    int ans = 0;
    f[a] = f[b] = f[c] = true;
    for(int i=1; i<11; i++) if(!f[i] && (i+a+b)<=20) ans++;
    if(ans>3) cout <<"YES"<<endl;
    else cout <<"NO"<<endl;
  }
  return 0;
}