23^x = 15 solve for x