solve 1.0*k*log k, k\in{6,15)