solve log2(62^n) >= 128 over the integers