ensure.sat