#include<stdio.h>

int main()
{
	int a, b, c;
	scanf("%d %d %d", &a, &b, &c);
	if(a == 5 && b == 5 && c == 7 ){
		printf("YES\n");
		}
	else if(a == 5 && b == 7 && c == 5 ){
			printf("YES\n");
			}
	else if(a == 7 && b == 5 && c == 5 ){
				printf("YES\n");
				}
	else {
		printf("NO\n");
		}
	return 0;
}