#include <iostream>
using namespace std;
int main()
{
  int a,b,c;
  while(cin >> a >> b >> c){
    if(a + b < 16) cout << "YES" << endl;
    else if(a + b > 16) cout << "NO" << endl;
    else if(c <= 4) cout << "NO" << endl;
    else cout << "YES" << endl;
  }
  return 0;
}