sbv-7.2: SBVTestSuite/GoldFiles/optQuant4.gold

Optimal model:
  a    = 0 :: Integer
  b1   = 1 :: Integer
  b2   = 1 :: Integer
  goal = 0 :: Integer