#include<iostream>
using namespace std;

int main(){
  int a1,a2,b,num;
  while(cin>>a1>>a2>>b){
    num=0;
    for(int i=0;i<10;i++)
      if(a1!=i && a2!=i && b!=i)
	if(a1+a2+i<=20)num++;
    if(num>4)cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
  }
  return 0;
}