It seems that the solve block picks up on the numeric definitions even if they are function arguments. If y is not defined before the solve block you get the three solutions. If k5 and/or k6 are not defined before the solve block it fails though, unlike solve.
The mysteries of Mathcad symbolic math!