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