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

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

Lower bound: $3.8437$
Upper bound: $4$

Updates