Add SC_SAT_SYM case