Allow run for SC_SAT cases