solid.sat