Submissions for team 1-SAT on problem J Janitor's Cart