satisfaction-guaranteed-vector_p