Packing unit squares in a square s(38)s(38)

The side of the smallest square into which 3838 unit squares can be packed.

Lower bound: 22+113+103372\sqrt{2}+\frac{113+10\sqrt{3}}{37} (≈6.350603)
Upper bound: 6+126+\frac{1}{\sqrt{2}} (≈6.707107)

Updates