Update sat.py

@todo: bug fix in helper function _simplify()