Submissions for team The Solvers on problem files_main