Crashes with NPE after call to unsatExplanation()
- created a solver with SolverFactory.newLight() respectively SolverFactory.newDefault()
- ran it via isSatisfiable() -> call to unsatExplanation() leads to a NPE, since unsatExplanationInTermsOfAssumptions is null.