satisfaction_guaranteed_vector