#include <iostream>
using namespace std;

int main(){
	int open[ 3 ];

	while ( cin >> open[ 0 ] >> open[ 1 ] >> open[ 2 ] ){
		int allow = 20 - open[ 0 ] - open[ 1 ];
		int high = 0;
		for ( int i = 10; i > 0; --i ){
			if ( ( i ==  open[ 0 ] ) || ( i == open[ 1 ] ) || ( i == open[ 2 ] ) ) continue;
			if ( i > allow ){
				++high;
				if ( high == 4 ) break;
			}
		}

		if ( high == 4 ){
			cout << "NO" << endl;
		}else{
			cout << "YES" << endl;
		}
	}

	return 0;
}