#include <iostream>
#include <stdio.h>
using namespace std;

int main() {
	int a,b,c,i,k;
	while (cin >> a >> b >> c) {
		k=0;
		for (i=1;i<11;i++) if (i!=a && i!=b && i!=c && a+b+i<21) k++;
		if (k>3) cout << "YES" << endl; else cout << "NO" << endl;
	}
	return 0;
}