SDF-MEM-SAT