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