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

        else
            printf("No");
    }
    return 0;
}



