sbv-3.4: SBVUnitTest/GoldFiles/temperature.gold

Solution #1:
  s0 = 28 :: SInteger
Solution #2:
  s0 = 16 :: SInteger
Found 2 different solutions.