added a constructor of FormulaOptimizationResult.