q7.sat