Main #For-Satisfaction