satisfiability of propositions 6412657

Loading…