and relaxed subproblem