formula_12 = formula_14