Submissions for team 1-SAT on problem G Gas Stations