047 正方形边长（1）

可以放入7个等边三角形（边长为1个单位长度）的最小正方形的边长是多少？