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

Only one solution found:
  s0 = 3 :: SWord16
  s1 = 41 :: SWord16
  s2 = 56 :: SWord16