satisfaction-guarantee-vector