#include<iostream>
using namespace std;

int main(){

  int a,b,c;

  while(cin >> a >> b >> c){

    int z[] = {1,2,3,4,5,6,7,8,9,10},count = 0;

    z[a - 1] = 100;
    z[b - 1] = 100;
    z[c - 1] = 100;

    for(int i=0;i<10;i++){
      if(a + b + z[i] <= 20) count++;
    }

    if(count > 3) cout << "YES" << endl;
    else cout << "NO" << endl;

  }
} 