Submissions for team cat.dat on problem Find the Strongest Card