W. Bentz, “Optimal Packings of 13 and 46 Unit Squares in a Square”, Electron. J. Combin., vol. 17, no. 1, p. R126, Sep. 2010.