Function satName

Ordinal name: bijective base-26 over (LAST_SAT - sat + 1), so the last sat is "a" and sat 0 is "nvtdijuwxlp".