Optimal Solution to Disjoint Set Cover in Wireless Sensor Networks via Boolean Satisfiability