solve 3*abs(x-7)<abs(x-1)