RC5-12/32/5 contest solved. Who gets a credit?