sbv-0.9: SBVUnitTest/GoldFiles/temperature.gold

Satisfiable. Model:
  s0 = 28 :: SWord16