added temporarilyUnsatisfiable field to Constraint class