sbv-14.3: SBVTestSuite/GoldFiles/exceptionRemote1.gold

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