fixed unbounded value "res.constr" in line 1440