new problem formulation