q0.sat