Submissions for team Alt-aiR on problem Find the Strongest Card