s0.sat