MIA 2 at CIN 5, 2023-08-07

Miami Marlins at Cincinnati Reds, 2023-08-07, final 2-5: the score, both clubs' lines and each player's line where the data keeps them.