Optimal model:
  a    = 0 :: Integer
  b    = 0 :: Integer
  goal = 0 :: Integer