#include<iostream>

using namespace std;

int main(){
  int c1,c2,c3,p;
  while(cin>>c1>>c2>>c3){
    p=20-(c1+c2);
    if(c1<=p)p--;
    if(c2<=p)p--;
    if(c3<=p)p--;
    if (p>3)cout<<"YES"<<endl;
    else cout<< "NO"<<endl;
  }
  return 0;
}