#include <iostream>

using namespace std;

int main() {
	
	int C1, C2, C3, c;

	while(cin >> C1 >> C2 >> C3) {
		c=0;
		for(int i=1; i<=10; i++) {
			if(i!=C1&&i!=C2&&i!=C3&&i+C1+C2<=20)
				c++;
		}
		if(c>3)
			cout << "YES" << endl;
		else
			cout << "NO" << endl;
	}

	return 0;

}