Test soft constraints 6 and 7
Add tc21