sbv-4.4: SBVUnitTest/GoldFiles/dogCatMouse.gold

Solution #1:
  dog = 3 :: Integer
  cat = 41 :: Integer
  mouse = 56 :: Integer
This is the only solution.