Submissions for team It is never 2SAT on problem B Bye Bye Bilbo