testing Babajee algorithm for setSat_p