Submissions for team OF!Z on problem 5 miku_final_main