sbv-7.10: SBVTestSuite/GoldFiles/exceptionRemote1.gold

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