已知O事棱长为1的正三菱锥S-ABC的外接球D,E,F,分别是棱SA,SB,SC的中点则平面DEF截球O的截面面积是