If you want to branch to the label exit when the values in $s0 and $s1 are not equal, which instruction should you use?