sbv-14.4: SBVTestSuite/GoldFiles/optExtField3.gold

Optimal model:
  x        = 4.0 :: Real
  y        = 5.0 :: Real
  x_plus_y = 9.0 :: Real