switched back to SAT