Corrected Satisfy Constraints class
C2 implemented