#include<iostream>
#include<string.h>
#include<cstdio>
#include<algorithm>
#include<stack>
#include<queue>
#include<vector>
#include<cmath>
#include<utility>
#define ll long long int
#define ld long double
#define INF 1000000000
#define EPS 0.0000000001
#define rep(i,n) for(i=0;i<n;i++)
using namespace std;
typedef pair<int, int> P;

string str;

int main()
{
  int c1,c2,c3;
  int i;

  while(scanf("%d %d %d",&c1,&c2,&c3)!=EOF){
    int cnt=0;
    int sum=c1+c2;
    for(i=1;i<11;i++){
      if(i==c1 || i==c2 || i==c3)
	continue;
      if(sum+i<21)
	cnt++;
    }
    if(cnt>3)
      cout<<"YES"<<endl;
    else
      cout<<"NO"<<endl;

  }
}