Submissions for team SoBaCo on problem cross_main