Search for developments of a box having multiple ways of folding by SAT solver

A polyomino is a two-dimensional shape formed by joining unit squares edge to edge. A polyomino is called a development if it can make a box by folding edges of unit squares forming the polyomino. As in Figure 1, there are developments that can fold into two incongruent boxes. Many such developments have been discovered. For example, for the surface area 22, it was shown by an exhaustive computer search that there are 2,263 common developments of two boxes of size 1 1 5 and 1 2 3 [1].