added a set of satisfiable formulas