Packing unit squares in a square $s(37)$

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

Lower bound: $2\sqrt{2}+\frac{113+10\sqrt{3}}{37}$ (≈6.350603)
Upper bound: ${\approx}6.5987$

Updates