case 6 (n=5 k=7): expected No (reference unsatisfiable), but got a tree
exit status 1