q4.sat