bdq.sat