CIN 1 at MIA 3, 2023-05-14

Cincinnati Reds at Miami Marlins, 2023-05-14, final 1-3: the score, both clubs' lines and each player's line where the data keeps them.