q5.sat