#include <stdio.h>

int main()
{
    int n[3+1];

    scanf("%d%d%d", &n[0], &n[1], &n[2]);

    if(n[0] != 7 && n[1] != 7 && n[2] != 7)
        printf("No\n");
    else 
        printf( "Yes\n");
    
    return 0;
}