2x2x3 bound 12            expected 12  first dependency degree 12 (#mons 1820) 13.1s
exit 0
