a;main(){main(write(++a%24<11,"93 7\n"+getchar()%6,1));}