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

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

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

Updates