Update sat.py

bug fix to unit prop function