Principal #Unsatisfied A