#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=5) printf("Yes");
    else if(a=7&&b=5&&c=5) printf("Yes");
    else printf("No");
}