qf.sat