Main #Satisfaction Brute