SAT-SDF