Updated problem formulation.