q2.sat