Update sat.py

refactored
todo: test backtrack()