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

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

Updates

• Upper bound: $8$
  Reference unknown
  [via Packing Unit Squares in Squares: A Survey and New Results, Erich Friedman, 2009-08-14]
• Lower bound: $8$
  Reference unknown
  [via Packing Unit Squares in Squares: A Survey and New Results, Erich Friedman, 2009-08-14]