slice.sat