f;g(c){f=read(0,&c,1)?g(),f-1?f-2?f-3?f-4?0:55/c*c/54*4:c-49?c-55&&c-56?53/c*c/51*3:4:5:52/c*c/50*3:2:1;}main(){g();puts(f>3?"Yes":"No");}