add sets in sat (with mli)