sbv-10.0: SBVTestSuite/GoldFiles/optQuant1.gold

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