Updating problem formultaion