Submissions for team 1-SAT on problem B Bus Problem