已知x 3是4x+a=a-12的解,求不等式ax-1