2^n = 13