a = \sqrt{2}(\sqrt{3} + 1)