#include<iostream>
using namespace std;
int main(){
  int c1,c2,c3;
  int s[11];
  int k,count;
  while(cin>>c1>>c2>>c3){
    for(int i=1;i<=10;i++) s[i] = i;
    count = 0;  
    for(int i=1;i<=10;i++){
      if(c1==s[i]||c2==s[i]||c3==s[i]) s[i] = 0;
    }
    k = 20 - c1 - c2;
    for(int i=k;i>=1;i--) if(s[i]!=0) count++;
    if(count>=4) cout << "YES" << endl;
    else cout << "NO" << endl;
  }
  return 0;
}