sbv-5.1: SBVUnitTest/GoldFiles/dogCatMouse.gold

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