#include<cstdio>
#include<iostream>
using namespace std;
int main(){
  int a,b,c;
  while(scanf("%d %d %d",&a,&b,&c)!=EOF){
    int sum=a+b,cnt=0;
    for(int i=1;i<=10;i++){
      if(sum + i<=20 && i!=a && i!=b && i!=c) cnt++;
    }
    printf("%s\n",cnt>=4?"YES":"NO");
  }
}