magic_sequence_sat.py 1.56 KB