已知x=3是方程的解，求不等式的解集。