Submissions for team JAX on problem splitters_main