#include<iostream>
#include<vector>
using namespace std;
int main(){
  int a,b,c;
  while(cin>>a>>b>>c!='\0'){
    int out=20-a-b;
    int han=0;
    if(out>=a)han++;
    if(out>=b)han++;
    if(out>=c)han++;
    if(out-han>3)
      cout<<"YES"<<endl;
    else
      cout<<"NO"<<endl;
  }
}