Submissions for team Nullstellensatz on problem Find the Strongest Card