q3.sat