execution: PASS
sigismember passed