Solve for x in 5^-x-3 = 1