#include <iostream>
#include <cstdio>
#include <string>
#include <vector>
#include <algorithm>
#define MAX 100010
using namespace std;

int main(){
  int a, b, c;
  while(cin>>a>>b>>c){
    int less = 20 - a - b;
    int win_num = 0;
    for(int i = 1; i <= 10; i++){
      if(i == a || i == b || i == c){
        continue;
      }
      if(less >= i) win_num++;
    }
    if(win_num >= 4){
      printf("YES\n");
    } else {
      printf("NO\n");
    }
  }
  return 0;
}