Maximizes the objective function, stated as a list of
Coefficient*Variable terms that represents the sum of its
elements, with respect to the linear program corresponding to state
S0. \arg{S} is unified with an
internal representation of the solved instance.