sbv-0.9: SBVUnitTest/GoldFiles/dogCatMouse.gold

One solution found
Satisfiable. Model:
  s0 = 3 :: SWord16
  s1 = 41 :: SWord16
  s2 = 56 :: SWord16