sbv-0.9.22: SBVUnitTest/GoldFiles/dogCatMouse.gold

Solution #1:
  d = 3 :: SWord16
  c = 41 :: SWord16
  m = 56 :: SWord16
This is the only solution.