GDL-SAT