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

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

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

Updates