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

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

Lower bound: Unknown
Upper bound: $9$

Updates