2875.sat