#include <iostream>
using namespace std;

int main(void){
  int c1,c2,c3;
  while(cin>>c1>>c2>>c3){
    int d=20-c1-c2,a=0;
    for(int i=1;i<=10;++i)if(d>=i)++a;
    if(a<4) cout<<"NO"<<endl;
    else cout<<"YES"<<endl;
  }
  return 0;
}