q1.sat