qc.sat