Na figura, o triângulo ABC é equilátero de lado 1, e ACDE, AFGB e BHIC são quadrados. A área do polígono DEFGHI vale