solve (n* log[2, n]) - (6 * 10^7) = 0