con formula_17 real