Text this: Hybrid Multiobjective Framework for Boolean Satisfiability Optimization With Application to Financial Risk Prediction.