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

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

Lower bound: ${\approx}9.2667$
Upper bound: $\frac{11}{2}+3\sqrt{2}$ (≈9.742641)

Updates