Fixed gc_to_sat.py