Print problematic assumptions if sat problem was not solved.
Print problematic assumptions if sat problem was not solved.

skoef/pkg,en90/pkg,khorben/pkg,en90/pkg,khorben/pkg,Open343/pkg,skoef/pkg,Open343/pkg,khorben/pkg,junovitch/pkg,junovitch/pkg