~.sat