added satis generation capability