q8.sat