[NL2-NL10] NL5 SH 99 setmining vs 3bet