Submissions for team oh boy! (2) on problem unlockmanifolds_final_main