#include<stdio.h>
main()
{
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    if(a=5 && b=5 &&c=7) printf("Yes");
    else if(a=5 && b=7 && c=d) printf("Yes");
    else if(a=7 && b=5 && c=5) printf("Yes");
    else printf("No");
}