#include<bits/stdc++.h>
using namespace std;

int main(){

  int c1,c2,c3;
  int sum;

  while(cin>>c1>>c2>>c3){
    sum = 0;

    for(int i=1; i<=10; i++){
	if(i!=c1 && i!=c2 && i!=c3 && c1+c2+i<=20)sum++;
    }

    if(sum/7.0 >= 0.5)cout << "YES" << endl;
    else cout << "NO" << endl;

  }


  return 0;
}