solve x! = 2^x + 8