constraint relaxation