#include <iostream>
#include <cstdio>
using namespace std;

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