Text this: A Multilevel Approach Applied to Sat-Encoded Problems