FINAL: "OK, we got: Unexpected response from the solver, context: assert"
DONE!