Submissions for team 1-SAT on problem M Museum Tickets