Check all the related cells when two white-cell units were unified
Check the reachability more precisely
Modify brute-force solver