On generating the finitely satisfiable formulas