Adding to SAT now