Submissions for team SadDolphin on problem leaderboard leaderboard