SAT_C+_1_SHORT