≯.sat