#include<stdio.h>
int main()
{
  long long int i,j,k,n,a,b,c;
   scanf("%lld %lld %lld",&a,&b,&c);
   k=a+b+c;
   if(k==17){
    printf("YES\n");
   }
   else{
    printf("NO\n");
   }
    return 0;
}
