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

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

Lower bound: Unknown
Upper bound: $9$

Updates