T1

#include<stdio.h>

int a,b,c;
int main(){
	scanf("%d%d%d",&a,&b,&c);
    printf((a==1 && b==2 || a==1 && c==3 || b==2 && c==3)?"YES":"NO");
    return 0;
}