#include <iostream>
#include <string>
#include <map>
#include <vector>
#include <algorithm>
#include <stdio.h>
#include <math.h>
#include <iomanip>
#include <stack>
using namespace std;
int main(){
  int a,b,c,p;
  while(cin>>a>>b>>c){
    if(cin.eof())return 0;
    p=0;
    for(int i=1;i<=10;i++){
      if(i!=a&&i!=b&&i!=c&&a+b+i<=20)p++;
    }
    if((double)p/7>=0.5)cout<<"YES"<<endl;
    else{cout<<"NO"<<endl;}
  }
}