Oh no, I'm trying to solve a boolean satisfiability problem! At least I know I can give up on looking for a fast, optimal solution.