2^4 corner 12             expected 12  first dependency degree 12 (#mons 1820) 13.1s
exit 0
