不等式log1/2(x-1)≤log1/2(x^2+x-6)的解集为