已知四边形ABCD与四边形ABEF均是边长为a的正方形 ,如果二面角E—AB—C的度数为30那么直线EF和平面ABCD的