White to play

This position is from Tiviakov vs Arbakov, 1989. White has a few good options but can you see a forced mate in 5?

Solution