example_2sat3.py 3.02 KB