SLP-SAT