Cho hai hình vuông ABCD và ABEF có cạnh bằng 1, lần lượt nằm trên hai mặt phẳng vuông góc với nhau. Gọi S là điểm đối xứng với B qua đường thẳng DE. Thể tích của khối đa diện ABCDSEF bằng