#include <iostream>

using namespace std;

int main(){
  int a,b,x,s;
  int c[10]={0};
  while(cin>>a>>b>>x){
    c[a-1]++;c[b-1]++;c[x-1]++;
    s=0;
    for(int i=20-a-b;i<10;i++){
      if(c[i]==0) s++;
    }
    if(s/7.0<0.5) cout<<"YES";
    else cout<<"NO";
    cout<<endl;
    c[a-1]--;c[b-1]--;c[x-1]--;
  }
  return 0;
}