solve (n* log[2, n]) - (3.15576 * 10^15) = 0