Optimal packing of ~143 squares