#include <iostream>
using namespace std;

int main(){
   bool card[11];
   int c[3];
   while(cin >> c[0] >> c[1] >> c[2]){
      for(int i=1;i<11;i++) card[i] = true;
      for(int i=0;i<3;i++)  card[c[i]] = false;
      int cnt = 0;
      for(int i=1;i<11;i++){
	 if(card[i] && i <= 20-c[0]-c[1]) cnt++;
      }
      cout << ((cnt >= 4)? "YES":"NO") << endl;
   }
   return 0;
}