#include <iostream>
using namespace std;
int main(){
  int a,b,c;
  while(cin>>a>>b>>c){
    int k=0;
    for(int i=1;i<11;i++){
      if(i+a+b>c&&i+b+a<21)k++;
    }
    if(k>=5)cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
  }
}