Solving Formulas - CCMR