Submissions for team drtnf on problem classrank classrank