sbv-14.9: SBVTestSuite/GoldFiles/exceptionRemote1.gold

FINAL: "OK, we got: Unexpected solver error"
DONE!