Submissions for team 理科易如反掌 on problem 5 miku_final_main