f;g(c){read(0,&c,1)?g(),f=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:0;}main(){g(f=1);puts(f>3?"Yes":"No");}