n*(2^n) = 15000