Submissions for team SadDolphin on problem classrank classrank