Update algo2/asgn6/2sat.py

minor correction