sbv-8.13: SBVTestSuite/GoldFiles/allSat3.gold

Solution #1:
  s0 = -0.0 :: Float
Solution #2:
  s0 = 0.0 :: Float
Found 2 different solutions.