Resolver: Log2x^2+3log2x=10.