Bentz, W. Optimal Packings of 13 and 46 Unit Squares in a Square. Electron. J. Combin. 2010, 17, R126.