ctbox (C) 2003 by Michael Pichler, partially (C) 2003 Harald Bgeholz
positioning of 12 parts completed: 2080 positions.
solution 1:
  z==2
    75't6
    cc'tt
    c99tA
    cc1tt
  z==1
    75'66
    72''A
    9988A
    1118A
  z==0
    55566
    72222
    7983A
    13333
Time init: 0.003, solve: 0.030, total: 0.033 s.
number of solutions: 1
