Text this: MANET Cluster Optimization Using ILP/SAT Techniques