solve for x (y = √(4-ln(x-3)))