bak文件系统显示压缩:已知方程组的解的和为12,求K及方程组的解