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

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

Updates

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