q6.sat