Descending at is the correct solution. a and b are miai for life.
If tries to remove the eye, then and captures three stones and makes the eye.
a and b are miai for the second eye.
If connects, lives. This should be what is played in real games.
If , then destroys the eye. Capturing at only allows to kill by a throw-in that leads to a false eye. at is killed in a similar way.
Referenced byBeginnerExercise208