Principal #Satisfying Machine