constraints added, the problem is difficult to solve