test case for soft constraint 1