#include <cstdio>

int main(){
	int c1,c2,c3;
	bool mem[11];
	while(scanf("%d%d%d",&c1,&c2,&c3) != EOF){
		for(int i = 0; i < 11; i++) mem[i] = false;
		mem[c1] = mem[c2] = mem[c3] = true;
		int ok = 0;
		for(int i = 1; i <= 10; i++){
			if(!mem[i] && c1 + c2 + i <= 20){
				ok++;
			}
		}
		printf("%s\n", ok >= 4 ? "YES" : "NO");
	}
	return 0;
}