sdq.sat