URは強力なんだけど、わりとグレーな手法だから俺は使わんなぁ
解の唯一性を自分で示すまでが数独を解くってことだと思う