sat-integral k3