Solve for x e^x=12