Main #Backdoor Satisfaction