Vivek Ramaswamy vote percent in the Ohio Republican Governor primary on May 5?

Prediction market on manifold. Primary is on May 5. Resolves yes if Vivek Ramaswamy gets the listed percent or more in the Ohio Republican governor primary. Resolves No otherwise. He has one opponent, Casey putsch. https://en.wikipedia.org/wiki/2026_Ohio_gubernatorial_election#Republican_primary

24h Volume: $2,579.634. Liquidity: $1,300. Resolves: 5/6/2026.