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

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

Lower bound: Unknown
Upper bound: ${\approx}8.9633$

Updates