#include <iostream>

int main() {
	int a[3], b[10] = {0}, okN;
	while(std::cin >> a[0] >>  a[1] >> a[2]) {
		
		for( int i=0; i<10; i++) b[i] = 0;
		
		// Initialize b[i] for the set of card list
		// except card already showed
		for( int i=0; i<3; i++) b[a[i]] = 1;
		
		okN = 0;
		
		// estimated percentage
		for( int i=0; i<10; i++) {
			if(b[i]==1) continue;

			if(a[0]+a[1]+i<=19) okN++;
		}
		
		if(okN>=4) std::cout << "YES" << std::endl;
		else std::cout << "NO" << std::endl;
	}
	return 0;
}