#include<stdio.h>
int main()
{
	int A,B,C;
	scanf("%d %d %d",&A,&B,&C);
	switch(A,B,C){
		case 7,5,5:printf("yes\n");break;
        case 5,7,5:printf("yes\n");break;
        case 5,5,7:printf("yes\n");break;
        default:printf("no\n");
	}
    return 0	
}