D-SAT