Principal #Satisfaction Brute