Update sat.py

formatting