Submissions for team SyncThinkers on problem 5 miku_final_main