#include<stdio.h>
int main()
{
    int a[10] = {0};
    int b,c,d;
    scanf("%d%d%d",&b,&c,&d);
    a[b]++;
    a[c]++;
    a[d]++;
    if(a[5] == 2 && a[7]==1){
        printf("YES\nUsing three phrases of length %d, %d and %d, it is possible to construct a Haiku.",b,c,d);
    }
    else{
        printf("NO");
    }
    return 0;

}