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