BENTZ, W. Optimal Packings of 13 and 46 Unit Squares in a Square. The Electronic Journal of Combinatorics, v. 17, n. 1, p. R126, 13 Sep. 2010.