SAT-Based Cooperative Planning: A Proposal