sbv-14.8: SBVTestSuite/GoldFiles/exceptionRemote1.gold

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