Submissions for team AlephZero01 on problem 5 miku_final_main