sbv-14.5: SBVTestSuite/GoldFiles/exceptionRemote1.gold

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