Noise-1.0.1: Temp/sbv-0.9.18/SBVUnitTest/GoldFiles/temperature.gold

Satisfiable. Model:
  s0 = 28 :: SWord16