#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;
}