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